Search Sciweavers | Sciweavers

6704 search results - page 71 / 1341

» Testing Scenario-Based Models

123

click to vote

ICSM
1997
IEEE

68views Software Engineering» more ICSM 1997»

Constructing Bayesian-network models of software testing and maintenance uncertainties

15 years 10 months ago

Download www.ics.uci.edu

Hadar Ziv, Debra J. Richardson

claim paper

Read More »

137

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

101

click to vote

CSFW
1993
IEEE

74views Security Privacy» more CSFW 1993»

On Testing for Absence of Rights in Access Control Models

15 years 10 months ago

Download www.list.gmu.edu

Ravi S. Sandhu, Srinivas Ganta

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 »

119

click to vote

ISSTA
2010
ACM

177views Software Engineering» more ISSTA 2010»

Modeling consumer-perceived web application fault severities for testing

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers