𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - SAUML: A tool for symbolic analysis of UML-RT models

✍ Scribed by Zurowska, Karolina; Dingel, Juergen

Book ID: 126601164
Publisher: IEEE
Year: 2011
Weight: 915 KB
Category: Article
ISBN: 1457716380
DOI: 10.1109/ASE.2011.6100136

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 26th IEEE/ACM International C

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Symbolic search-based testing

✍ Baars, Arthur; Harman, Mark; Hassoun, Youssef; Lakhotia, Kiran; McMinn, Phil; To 📂 Article 📅 2011 🏛 IEEE ⚖ 512 KB

[IEEE 2011 26th IEEE/ACM International C

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Automatic assessment of software documentation quality

✍ Dautovic, Andreas 📂 Article 📅 2011 🏛 IEEE ⚖ 480 KB

[IEEE 2011 26th IEEE/ACM International C

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Automatic generation of load tests

✍ Zhang, Pingyu; Elbaum, Sebastian; Dwyer, Matthew B. 📂 Article 📅 2011 🏛 IEEE ⚖ 635 KB

[IEEE 2011 26th IEEE/ACM International C

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Iterative mining of resource-releasing specifications

✍ Wu, Qian; Liang, Guangtai; Wang, Qianxiang; Xie, Tao; Mei, Hong 📂 Article 📅 2011 🏛 IEEE ⚖ 575 KB

[IEEE 2011 26th IEEE/ACM International C

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Precomputing possible configuration error diagnoses

✍ Rabkin, Ariel; Katz, Randy 📂 Article 📅 2011 🏛 IEEE ⚖ 177 KB

[IEEE 2011 26th IEEE/ACM International C

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Localizing SQL faults in database applications

✍ Clark, Sarah R.; Cobb, Jake; Kapfhammer, Gregory M.; Jones, James A.; Harrold, M 📂 Article 📅 2011 🏛 IEEE ⚖ 353 KB