Cited By
View all- Beyer DDangl MDietsch DHeizmann MLemberger TTautschnig M(2022)Verification WitnessesACM Transactions on Software Engineering and Methodology10.1145/347757931:4(1-69)Online publication date: 8-Sep-2022
- Apel SBeyer DMordan VMutilin VStahlbauer AZimmermann TCleland-Huang JSu Z(2016)On-the-fly decomposition of specifications in software model checkingProceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2950290.2950349(349-361)Online publication date: 1-Nov-2016
- Beyer DDangl MDietsch DHeizmann MStahlbauer ADi Nitto EHarman MHeymans P(2015)Witness validation and stepwise testification across software verifiersProceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering10.1145/2786805.2786867(721-733)Online publication date: 30-Aug-2015
- Show More Cited By