2419 search results - page 46 / 484 » A Formal Approach to Software Testing |
ICSE
2001
IEEE-ACM
14 years 16 days 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...
AMOST
2005
ACM
14 years 1 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
CSEE
2006
Springer
13 years 10 months ago
2006
Springer
Test-driven development (TDD) is an agile software development strategy that addresses both design and testing. This paper describes a controlled experiment that examines the effe...