Search Sciweavers | Sciweavers

1722 search results - page 12 / 345

» Generating Tests from Counterexamples

129

Voted

KBSE
2007
IEEE

99views Software Engineering» more KBSE 2007»

Scalable automatic test data generation from modeling diagrams

15 years 8 months ago

Download www.cs.umass.edu

We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...

Yannis Smaragdakis, Christoph Csallner, Ranjith Su...

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

16 years 3 months ago

Download www-valoria.univ-ubs.fr

Duncan Clarke, Elena Zinovieva, Thierry Jér...

claim paper

Read More »

103

Voted

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

15 years 6 months ago

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

100

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 6 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

CASSIS
2004
Springer

85views Human Computer Interaction» more CASSIS 2004»

Mastering Test Generation from Smart Card Software Formal Models

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers