Bidirectional Symbolic Analysis for Effective Branch Testing

DOI PDF 1 Citations
  • 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

Journal

Citations (1)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top