Search Sciweavers | Sciweavers

8398 search results - page 63 / 1680

» Optimal Software Testing

233

click to vote

AMOST
2007
ACM

269views Software Engineering» more AMOST 2007»

Test purpose generation in an industrial application

15 years 10 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...

claim paper

Read More »

183

click to vote

AMOST
2007
ACM

241views Software Engineering» more AMOST 2007»

Model-based regression test suite generation using dependence analysis

15 years 10 months ago

Download www.site.uottawa.ca

Yanping Chen, Robert L. Probert, Hasan Ural

claim paper

Read More »

153

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 10 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

149

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 10 months ago

Download eagle.csie.ntut.edu.tw

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

claim paper

Read More »

112

click to vote

CODES
2001
IEEE

98views Software Engineering» more CODES 2001»

SystemC: a homogenous environment to test embedded systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers