Testing large software with automated software evaluation systems

  title={Testing large software with automated software evaluation systems},
  author={C. V. Ramamoorthy and Siu-Bun F. Ho},
  journal={IEEE Transactions on Software Engineering},
In the past few years, research has been actively carried out in an attempt to improve the quality and reliability of large scale software systems. Although progress has been made on the formal proof of program correctness, proving large scale software systems correct by formal proof is still many years away. Automated software tools have been found to be valuable in improving software reliability and attacking the high cost of software systems. This paper attempts to describe some main… CONTINUE READING
Highly Cited
This paper has 100 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 64 extracted citations

Software Quality: Methods and Tools for Better Software and Systems

Lecture Notes in Business Information Processing • 2018
View 2 Excerpts

Model Level Design Pattern Instance Detection Using Answer Set Programming

2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE) • 2016
View 1 Excerpt

Design Issues for Service Delivery Platforms

Springer Fachmedien Wiesbaden • 2015
View 1 Excerpt

Measuring test coverage of SoA services

2015 IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments (MESOCA) • 2015
View 1 Excerpt

101 Citations

Citations per Year
Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…