Sciweavers

8627 search results - page 33 / 1726
» Software Engineering Using RATionale
Sort
View
75
Voted
ISSRE
2008
IEEE
15 years 7 months ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
55
Voted
ASWEC
2007
IEEE
15 years 6 months ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
VLSI
2007
Springer
15 years 6 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
APSEC
2003
IEEE
15 years 5 months ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...
63
Voted
COMPSAC
2003
IEEE
15 years 5 months ago
Mining Sequential Patterns Using Graph Search Techniques
Yin-Fu Huang, Shao-Yuan Lin