Export Citations
3 Results for: Book/Issue: ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,749,196 records)|Limit your search to The ACM Full-Text Collection (755,612 records)
Showing 1 - 3of3 Results
Select All
- ArticleSeptember 2007
Difference computation of large models
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringSeptember 2007, Pages 295–304https://doi.org/10.1145/1287624.1287665Modern software engineering practices lead to large models which exist in many versions. Version management systems should offer a service to compare, and possibly merge, these models. The computation of a difference between large models is a big ...
- ArticleSeptember 2007
Detecting large number of infeasible paths through recognizing their patterns
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringSeptember 2007, Pages 215–224https://doi.org/10.1145/1287624.1287655A great majority of program paths are found to be infeasible, which in turn make static analysis overly conservative. As static analysis plays a central part in many software engineering activities, knowledge about infeasible program paths can be used ...
