𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Identification of potentially infeasible program paths by monitoring the search for test data

✍ Scribed by Bueno, P.M.S.; Jino, M.

Book ID: 126765226
Publisher: IEEE
Year: 2000
Weight: 990 KB
Category: Article
ISBN-13: 9780769507101
DOI: 10.1109/ASE.2000.873665

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Test sequences generation from LUSTRE descriptions: GATEL

✍ Marre, B.; Arnould, A. 📂 Article 📅 2000 🏛 IEEE ⚖ 763 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - CM-Builder: an automated NL-based CASE tool

✍ Harmain, H.M.; Gaizauskas, R. 📂 Article 📅 2000 🏛 IEEE ⚖ 886 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Combining the best attributes of qualitative and quantitative risk management tool support

✍ Feather, M.S.; Cornford, S.L.; Larson, T.W. 📂 Article 📅 2000 🏛 IEEE ⚖ 415 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - π-SPACE: a formal architecture description language based on process algebra for evolving software systems

✍ Chaudet, C.; Oquendo, F. 📂 Article 📅 2000 🏛 IEEE ⚖ 392 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - An overview of a method and its support tool for generating B specifications from UML notations

✍ Laleau, R.; Mammar, A. 📂 Article 📅 2000 🏛 IEEE ⚖ 358 KB