One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
One of the main challenges in distributed development is ensuring effective communication and coordination among the distributed teams. In this context, little attention has been ...
Mark Grechanik, James A. Jones, Alessandro Orso, A...