Sciweavers

8627 search results - page 33 / 1726

» Software Engineering Using RATionale

23

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

14 years 4 months ago

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

Download www.cs.umd.edu

Ben Breech, Lori L. Pollock, John Cavazos

claim paper

Read More »

18

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

14 years 4 months ago

Benchmark Generation Using Domain Specific Modeling

Download www.ug.it.usyd.edu.au

Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu

claim paper

Read More »

16

VLSI
2007
Springer

89views Software Engineering» more VLSI 2007»

SWORD: A SAT like prover using word level information

14 years 4 months ago

SWORD: A SAT like prover using word level information

Download www.informatik.uni-bremen.de

Robert Wille, Görschwin Fey, Daniel Groß...

claim paper

Read More »

25

APSEC
2003
IEEE

124views Software Engineering» more APSEC 2003»

Security-Critical System Development with Extended Use Cases

14 years 3 months ago

Security-Critical System Development with Extended Use Cases

Download www4.in.tum.de

Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...

claim paper

Read More »

20

COMPSAC
2003
IEEE

182views Software Engineering» more COMPSAC 2003»

Mining Sequential Patterns Using Graph Search Techniques

14 years 3 months ago

Mining Sequential Patterns Using Graph Search Techniques

Download ethesys.yuntech.edu.tw

Yin-Fu Huang, Shao-Yuan Lin

claim paper

Read More »

« Prev « First page 33 / 1726 Last » Next »