𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

✍ Scribed by Grieskamp, W.; Tillmann, N.; Campbell, C.; Schulte, W.; Veanes, M.

Book ID: 126676851
Publisher: IEEE
Year: 2005
Weight: 238 KB
Category: Article
ISBN-13: 9780769524726
DOI: 10.1109/QSIC.2005.10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - On the Test Case Definition for GUI Testing

✍ Kai-Yuan Cai, ; Lei Zhao, ; Hai Hu, ; Chang-Hai Jiang, 📂 Article 📅 2005 🏛 IEEE ⚖ 477 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - A Multi-Property Trust Model for Reconfiguring Component Software

✍ Minghui Zhou, ; Hong Mei, ; Lu Zhang, 📂 Article 📅 2005 🏛 IEEE ⚖ 326 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - Guiding agent-oriented requirements elicitation: HOMER

✍ Wilmann, D.; Sterling, L. 📂 Article 📅 2005 🏛 IEEE ⚖ 219 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints

✍ Peng Wu, ; Huimin Lin, 📂 Article 📅 2005 🏛 IEEE ⚖ 329 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - Test Case Generation by OCL Mutation and Constraint Solving

✍ Aichernig, B.K.; Pari Salas, P.A. 📂 Article 📅 2005 🏛 IEEE ⚖ 221 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Quality Software (QSIC'05) - Melbourne, Australia (19-20 Sept. 2005)] Fifth International Conference on Quality Software (QSIC'05) - Quality Assurance in the Design of Web Information Systems

✍ Binemann-Zdanowicz, A.; Thalheim, B.; Schewe, K.; Jane Zhao, 📂 Article 📅 2005 🏛 IEEE ⚖ 401 KB