117 search results - page 16 / 24 » Efficient Systematic Testing for Dynamically Updatable Softw... |
DEXAW
2002
IEEE
15 years 2 months 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
15 years 4 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
15 years 2 months 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 ...
165
click to vote
ASPLOS
2009
ACM
15 years 10 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
15 years 1 months 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...