Search Sciweavers | Sciweavers

1722 search results - page 12 / 345

» Generating Tests from Counterexamples

150

click to vote

KBSE
2007
IEEE

99views Software Engineering» more KBSE 2007»

Scalable automatic test data generation from modeling diagrams

15 years 11 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 »

102

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 5 months ago

Download www-valoria.univ-ubs.fr

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

claim paper

Read More »

126

Voted

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

15 years 9 months ago

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

114

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 9 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

110

click to vote

CASSIS
2004
Springer

85views Human Computer Interaction» more CASSIS 2004»

Mastering Test Generation from Smart Card Software Formal Models

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers