𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Automated Software Tool Support for Checking the Inconsistency of Requirements

✍ Scribed by Kamalrudin, Massila

Book ID: 121254335
Publisher: IEEE
Year: 2009
Weight: 628 KB
Category: Article
ISBN: 1424452597
DOI: 10.1109/ASE.2009.38

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 24th IEEE/ACM International C

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - SMT-Based Bounded Model Checking for Embedded ANSI-C Software

✍ Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao 📂 Article 📅 2009 🏛 IEEE ⚖ 528 KB

[IEEE 2009 24th IEEE/ACM International C

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - An Automated Tool for Generating UML Models from Natural Language Requirements

✍ Deeptimahanti, Deva Kumar; Babar, Muhammad Ali 📂 Article 📅 2009 🏛 IEEE ⚖ 504 KB

[IEEE 2009 24th IEEE/ACM International C

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - A Methodology and Framework to Simplify Usability Analysis of Mobile Applications

✍ Balagtas-Fernandez, Florence; Hussmann, Heinrich 📂 Article 📅 2009 🏛 IEEE ⚖ 633 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) - Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements

✍ Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; Maggio, Martina 📂 Article 📅 2011 🏛 IEEE ⚖ 541 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) - Generating program inputs for database application testing

✍ Pan, Kai; Wu, Xintao; Xie, Tao 📂 Article 📅 2011 🏛 IEEE ⚖ 671 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) - Tracing requirements to tests with high precision and recall

✍ Ziftci, Celal; Krueger, Ingolf 📂 Article 📅 2011 🏛 IEEE ⚖ 551 KB