Sciweavers

AADEBUG
1995
Springer
15 years 7 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas
AADEBUG
1995
Springer
15 years 7 months ago
Transparency Debugging with Explanations for Novice Programmers
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
Philip A. Smith, Geoffrey I. Webb
RELMICS
2000
Springer
15 years 7 months ago
Implication-with-possible-exceptions
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...
Nerman Jurrjus, Harrie C. M. de Swart
RELMICS
2000
Springer
15 years 7 months ago
Closure Systems and their Structure
Robert E. Jamison, John L. Pfaltz