Book title Buchtitel
Tests and Proofs
Publisher Herausgeber
Place of publishing Erscheinungsort
10375 / Lecture Notes in Computer Science
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band

Publications Publikationen

Results 1-5 of 5 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Artho, Cyrille ; Seidl, Martina ; Biere, Armin Model-Based Testing for Verification Back-EndsKonferenzbeitrag Inproceedings 2013
2Pötzl, Daniel ; Holzer, Andreas Solving Constraints for Generational SearchKonferenzbeitrag Inproceedings 2013
3Reger, Giles ; Suda, Martin ; Voronkov, Andrei Testing a Saturation-Based Theorem Prover: Experiences and ChallengesKonferenzbeitrag Inproceedings 2017
4Mijatov, Stefan ; Mayerhofer, Tanja ; Langer, Philip ; Kappel, Gerti Testing Functional Requirements in UML Activity DiagramsKonferenzbeitrag Inproceedings 2015
5Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012