𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - A synergistic interweaving of formal and informal methods

✍ Scribed by WL Yeung, ; Leung, K.R.P.H.

Book ID: 126635348
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 251 KB
Category: Article
ISBN-13: 9780769520209
DOI: 10.1109/CMPSAC.2003.1245351

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 27th Annual Internatio

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - Tolerance of control-flow testing criteria

✍ Vilkomir, S.A.; Kapoor, K.; Bowen, J.P. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 279 KB

[IEEE Comput. Soc 27th Annual Internatio

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - BINTEST - search-based test case generation

✍ Beyleda, S.; Gruhn, V. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 303 KB

[IEEE Comput. Soc 27th Annual Internatio

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - MDA-based development of e-learning system

✍ Hong Wang, ; Dong Zhang, ; Jun Zhou, 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 291 KB

[IEEE Comput. Soc 27th Annual Internatio

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - Regression testing for Web applications based on slicing

✍ Lei Xu, ; Baowen Xu, ; Zhenqiang Chen, ; Jixiang Jiang, ; Huowang Chen, 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 234 KB

[IEEE Comput. Soc 27th Annual Internatio

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - Exploiting self-modification mechanism for program protection

✍ Kanzaki, Y.; Monden, A.; Nakamura, M.; Matsumoto, K. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 521 KB

[IEEE Comput. Soc 27th Annual Internatio

[IEEE Comput. Soc 27th Annual International Computer Software and Applications Conference - Dallas, TX, USA (3-6 Nov. 2003)] Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003 - Internet-based decision support: towards e-hospital

✍ Tsumoto, S.; Hirano, S.; Hanada, E. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 802 KB