Result 1 to 10 of 10 total
Incremental test generation for software product lines (English)
IEEE Trans. Software Eng. 36, No. 3, 309-322 (2010).
1
Constraint prioritization for efficient analysis of declarative models. (English)
Cuellar, Jorge (ed.) et al., FM 2008: Formal methods. 15th international symposium on formal methods, Turku, Finland, May 26‒30, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68235-6/pbk). Lecture Notes in Computer Science 5014, 310-325 (2008).
2
Constraint prioritization for efficient analysis of declarative models (English)
FM, 310-325 (2008).
3
Testing software product lines using incremental test generation (English)
ISSRE, 249-258 (2008).
4
Deryaft: a tool for generating representation invariants of structurally complex data (English)
ICSE, 859-862 (2008).
5
Kato: A program slicing tool for declarative specifications (English)
ICSE, 767-770 (2007).
6
A specification-based approach to testing software product lines (English)
ESEC/SIGSOFT FSE (Companion), 525-528 (2007).
7
A specification-based approach to testing software product lines (English)
ESEC/SIGSOFT FSE, 525-528 (2007).
8
Program slicing for declarative models (English)
ACM SIGSOFT Software Engineering Notes 31, No. 6, 1-2 (2006).
9
An automated approach for writing alloy specifications using instances (English)
ISoLA, 449-457 (2006).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
