Sciweavers

80 search results - page 1 / 16
» Testing of Object-Oriented Programs Based on Finite State Ma...
Sort
View
APSEC
1995
IEEE
13 years 8 months ago
Testing of Object-Oriented Programs Based on Finite State Machines
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
TOOLS
1999
IEEE
13 years 9 months ago
Towards Integration of State Machines and Object-Oriented Languages
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
Ole Lehrmann Madsen
ISSRE
2002
IEEE
13 years 9 months ago
A Case Study Using the Round-Trip Strategy for State-Based Class Testing
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
Giuliano Antoniol, Lionel C. Briand, Massimiliano ...
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
13 years 10 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
CSMR
2006
IEEE
13 years 10 months ago
Object-Oriented Legacy System Trace-based Logic Testing
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
Stéphane Ducasse, Tudor Gîrba, Roel W...