117 search results - page 16 / 24 » Efficient Systematic Testing for Dynamically Updatable Softw... |
DEXAW
2002
IEEE
14 years 17 days ago
2002
IEEE
We present our EU-sponsored research in the domain of individual knowledge management and collaborative learning: the MailTack system. MailTack is a stand-alone software tool that...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
ATAL
2003
Springer
14 years 26 days ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
PROMS
2001
Springer
14 years 1 days ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...