589 search results - page 83 / 118 » Automated test generation for engineering applications |
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
ICAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
COOPIS
2002
IEEE
14 years 19 days ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...