Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859044 Sylvain Hallé, Taylor Ettema, Chris Bunch, T. Bultan

Extraction and visualization of traceability relationships between documents and source code

Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859098 Xiaofan Chen

Automated SQL query generation for systematic testing of database engines

Pub Date : 2010-09-20 DOI: 10.1145/1858996.1859063 Shadi Abdul Khalek, S. Khurshid