Search Sciweavers | Sciweavers

6704 search results - page 71 / 1341

» Testing Scenario-Based Models

click to vote

ICSM
1997
IEEE

68views Software Engineering» more ICSM 1997»

Constructing Bayesian-network models of software testing and maintenance uncertainties

14 years 2 months ago

Download www.ics.uci.edu

Hadar Ziv, Debra J. Richardson

claim paper

Read More »

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

14 years 2 months ago

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

click to vote

CSFW
1993
IEEE

74views Security Privacy» more CSFW 1993»

On Testing for Absence of Rights in Access Control Models

14 years 2 months ago

Download www.list.gmu.edu

Ravi S. Sandhu, Srinivas Ganta

claim paper

Read More »

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

14 years 2 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

click to vote

ISSTA
2010
ACM

177views Software Engineering» more ISSTA 2010»

Modeling consumer-perceived web application fault severities for testing

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers