2026 search results - page 81 / 406 » Tools for Test Case Generation |
91
Voted
AIPS
2000
15 years 1 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
101
Voted
KBSE
2002
IEEE
15 years 5 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
112
Voted
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
108
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
119
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...