Search Sciweavers | Sciweavers

243 search results - page 1 / 49

» Software Testing via Model Checking

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

13 years 8 months ago

Download eagle.csie.ntut.edu.tw

Lihua Xu, Marcio S. Dias, Debra J. Richardson

claim paper

Read More »

click to vote

ISCIS
2004
Springer

137views Information Technology» more ISCIS 2004»

Software Testing via Model Checking

13 years 10 months ago

Download www.cs.uni-paderborn.de

Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...

Fevzi Belli, Baris Güldali

claim paper

Read More »

click to vote

SCAM
2009
IEEE

150views Software Engineering» more SCAM 2009»

Engineering Abstractions in Model Checking and Testing

13 years 11 months ago

Download www.dcs.kcl.ac.uk

ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann

Michael Achenbach, Klaus Ostermann

claim paper

Read More »

click to vote

FORTE
2004

100views Formal Methods» more FORTE 2004»

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing

13 years 5 months ago

Download fmt.isti.cnr.it

Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...

Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...

claim paper

Read More »

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers