Search Sciweavers | Sciweavers

5228 search results - page 80 / 1046

» Case Studies for Software Engineers

128

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 7 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

136

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 7 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

100

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

15 years 5 months ago

Download www.st.cs.uni-saarland.de

Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...

claim paper

Read More »

click to vote

RE
2002
Springer

105views Software Engineering» more RE 2002»

Application of Linguistic Techniques for Use Case Analysis

15 years 3 months ago

Download matrix.iei.pi.cnr.it

Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami...

claim paper

Read More »

100

click to vote

ICST
2010
IEEE

96views Software Engineering» more ICST 2010»

Verified Firewall Policy Transformations for Test Case Generation

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers