Search Sciweavers | Sciweavers

7766 search results - page 95 / 1554

» Testing Nondeterminate Systems

click to vote

SDL
2001

73views Hardware» more SDL 2001»

HyperMSCs with Connectors for Advanced Visual System Modelling and Testing

13 years 10 months ago

Download www.swe.informatik.uni-goettingen.de

Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...

Jens Grabowski, Peter Graubmann, Ekkart Rudolph

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

74views Software Engineering» more ICSE 2009»

White-box approaches for improved testing and analysis of configurable software systems

14 years 3 months ago

Download www.cs.washington.edu

Marius Nita, David Notkin

claim paper

Read More »

click to vote

ATAL
2009
Springer

112views Intelligent Agents» more ATAL 2009»

Model based testing for agent systems

14 years 3 months ago

Download www.aamas-conference.org

Zhiyong Zhang, John Thangarajah, Lin Padgham

claim paper

Read More »

click to vote

SCAM
2008
IEEE

85views Software Engineering» more SCAM 2008»

DTS - A Software Defects Testing System

14 years 3 months ago

Download www.dcs.kcl.ac.uk

Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...

claim paper

Read More »

click to vote

CAV
2007
Springer

123views Hardware» more CAV 2007»

Test Coverage for Continuous and Hybrid Systems

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers