ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 2 Issue 2, April 1993

Experimental results from an automatic test case generator
Richard A. DeMillo, A. Jefferson Offutt
Pages: 109-127
DOI: 10.1145/151257.151258
Constraint-based testing is a novel way of generating test data to detect specific types of common programming faults. The conditions under which faults will be detected are encoded as mathematical systems of constraints in terms of program...

Simulating reactive systems by deduction
Yishai A. Feldman, Haim Schneider
Pages: 128-175
DOI: 10.1145/151257.151259
Debugging is one of the main uses of simulation. Localizing bugs or finding the reasons for unclear behavior involves going backwards in time, whereas simulation goes forward in time. Therefore, identifying causes with the aid of most existing...

A meta-environment for generating programming environments
P. Klint
Pages: 176-201
DOI: 10.1145/151257.151260
Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research...