Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications
Article in Expert Systems with Applications (March 2024)
The most recent citing publications are shown below. View all 47 publications that cite this research output on Dimensions.
Article in Expert Systems with Applications (March 2024)
Article in Communications of the ACM (August 2010)
Article in ACM SIGARCH Computer Architecture News (June 2010)