Designing Programs That Check Their Work

·1995·DOI
Health Data Science
Coffee Science
Software Engineering and Practices
Debugging and Reliability Techniques

Role in the Field

Neutralin Health Data Science
Neutralin Coffee Science
Neutralin Software Engineering and Practices
Neutralin Debugging and Reliability Techniques

Abstract

Citations

214

Year

1995

PageRank

3.4 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Partial Orders For Efficient Bounded Model Checking Of Concurrent Software
·2013·112 citations
How Programmers Debug, Revisited: An Information Foraging Theory Perspective
·2013·98 citations
A Semantic Rule Checking Environment For Building Performance Checking
·2011·198 citations
Control-flow Checking By Software Signatures
·2002·410 citations
Principles Of Program Analysis
·1999·689 citations
The Early History Of Smalltalk
·1993·136 citations
The Early History Of Smalltalk
·1993·102 citations
A Formal Model Of Program Dependences And Its Implications For Software Testing, Debugging, And Maintenance
·1990·278 citations
Designing Programs That Check Their Work
·1989·180 citations
A Probabilistic Model For Validation Of Behavioral Hierarchies
·1976·98 citations