Sciweavers

2147 search results - page 40 / 430
» Teleological Software Adaptation
Sort
View
ICST
2011
IEEE
13 years 1 months ago
Exploiting Common Object Usage in Test Case Generation
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
Gordon Fraser, Andreas Zeller
ICSE
1999
IEEE-ACM
14 years 2 months ago
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
AH
2004
Springer
14 years 3 months ago
Time-Based Extensions to Adaptation Techniques
Abstract. In this paper we present an approach to time-based adaptation in adaptive hypermedia systems. Time is used as a part of the context (or environment) model. We have propos...
Mária Bieliková, Rastislav Habala
ICSE
2007
IEEE-ACM
14 years 10 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
RE
2001
Springer
14 years 2 months ago
Requirements for Evolving Systems: A Telecommunications Perspective
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
Pamela Zave