Sciweavers

8627 search results - page 33 / 1726
» Software Engineering Using RATionale
Sort
View
103
Voted
ISSRE
2008
IEEE
15 years 10 months ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
ASWEC
2007
IEEE
15 years 10 months ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
87
Voted
VLSI
2007
Springer
15 years 10 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
102
Voted
APSEC
2003
IEEE
15 years 9 months ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...