ISSTA 1996 | Sciweavers

27

click to vote

ISSTA
1996
ACM

106views Software Engineering» more ISSTA 1996»

An Efficient State Space Generation for Analysis of Real-Time Systems

14 years 4 months ago

Download ftp.cis.upenn.edu

Inhye Kang, Insup Lee

claim paper

Read More »

39

click to vote

ISSTA
1996
ACM

106views Software Engineering» more ISSTA 1996»

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector

14 years 4 months ago

Download www.cs.cmu.edu

We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...

Daniel Jackson, Craig Damon

claim paper

Read More »

30

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

14 years 4 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

31

click to vote

ISSTA
1996
ACM

102views Software Engineering» more ISSTA 1996»

Predicting Dependability by Testing

14 years 4 months ago

Download web.cecs.pdx.edu

In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...

Richard G. Hamlet

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers