659 search results - page 49 / 132 » Automatic Testing of Object-Oriented Software |
92
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
88
Voted
HCI
2009
14 years 10 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
124
Voted
AADEBUG
2005
Springer
15 years 2 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
93
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
94
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...