Search Sciweavers | Sciweavers

492 search results - page 2 / 99

» Automating software feature verification

click to vote

SIGSOFT
2006
ACM

128views Software Engineering» more SIGSOFT 2006»

Detecting increases in feature coupling using regression tests

14 years 19 days ago

Download www.cs.mcgill.ca

Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...

Olivier Giroux, Martin P. Robillard

claim paper

Read More »

click to vote

TCAD
2008

181views more TCAD 2008»

A Survey of Automated Techniques for Formal Software Verification

13 years 6 months ago

Download www.csee.usf.edu

The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...

Vijay D'Silva, Daniel Kroening, Georg Weissenbache...

claim paper

Read More »

click to vote

TSE
2010

120views more TSE 2010»

Efficient Software Verification: Statistical Testing Using Automated Search

13 years 1 months ago

Download www.cpe.virginia.edu

Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...

Simon M. Poulding, John A. Clark

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

13 years 11 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »