Citation Impact
Citing Papers
A taxonomy and catalog of runtime software-fault monitoring tools
2004
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation
2009
A method for taxonomy development and its application in information systems
2012 Standout
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
Survey on Scenario-Based Safety Assessment of Automated Vehicles
2020 Standout
Intrusion detection system: A comprehensive review
2012 Standout
Guaranteeing functional safety: design for provability and computer-aided verification
2011
Online Verification of Automated Road Vehicles Using Reachability Analysis
2014 Standout
Works of Yoonsik Cheon being referenced
PWiseGen: Generating test cases for pairwise testing using genetic algorithms
2011
An overview of JML tools and applications1 1www.jmlspecs.org
2003
An overview of JML tools and applications
2004