Search Sciweavers | Sciweavers

6704 search results - page 66 / 1341

» Testing Scenario-Based Models

click to vote

ICSE
2008
IEEE-ACM

116views Software Engineering» more ICSE 2008»

The effect of program and model structure on mc/dc test adequacy coverage

14 years 11 months ago

Download se.ethz.ch

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

14 years 5 months ago

Download www.sofsem.cz

Andy Schürr, Sebastian Oster, Florian Markert

claim paper

Read More »

click to vote

ATAL
2009
Springer

112views Intelligent Agents» more ATAL 2009»

Model based testing for agent systems

14 years 4 months ago

Download www.aamas-conference.org

Zhiyong Zhang, John Thangarajah, Lin Padgham

claim paper

Read More »

click to vote

CPAIOR
2009
Springer

93views Operations Research» more CPAIOR 2009»

Using Model Counting to Find Optimal Distinguishing Tests

14 years 4 months ago

Download www.zib.de

Stefan Heinz, Martin Sachenbacher

claim paper

Read More »

click to vote

FMICS
2009
Springer

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers