Bidirectional Symbolic Analysis for Effective Branch Testing

  • Mauro Baluda
    Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany
  • Giovanni Denaro
    Department of Informatics, Systems and Communication, Università di Milano-Bicocca, Milano, Italy
  • Mauro Pezze
    Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland

収録刊行物

被引用文献 (1)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ