𝔖 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 - Test sequences generation from LUSTRE descriptions: GATEL

✍ Scribed by Marre, B.; Arnould, A.

Book ID: 121287682
Publisher: IEEE
Year: 2000
Weight: 763 KB
Edition: 2000
Category: Article
ISBN-13: 9780769507101
DOI: 10.1109/ASE.2000.873667

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 - 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

[IEEE Comput. Soc ASE 2002. 17th IEEE In

[IEEE Comput. Soc ASE 2002. 17th IEEE International Conference on Automated Software Engineering - Edinburgh, UK (23-27 Sept. 2002)] Proceedings 17th IEEE International Conference on Automated Software Engineering, - Generative design patterns

✍ MacDonald, S.; Szafron, D.; Schaeffer, J.; Anvik, J.; Bromling, S.; Tan, K. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 488 KB

[IEEE Comput. Soc ASE 2002. 17th IEEE In

[IEEE Comput. Soc ASE 2002. 17th IEEE International Conference on Automated Software Engineering - Edinburgh, UK (23-27 Sept. 2002)] Proceedings 17th IEEE International Conference on Automated Software Engineering, - Generating expected results for automated black-box testing

✍ Schroeder, P.J.; Faherty, P.; Korel, B. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 324 KB

[IEEE 2013 IEEE/ACM 28th International C

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Using automatically generated invariants for regression testing and bug localization

✍ Sagdeo, Parth; Ewalt, Nicholas; Pal, Debjit; Vasudevan, Shobha 📂 Article 📅 2013 🏛 IEEE ⚖ 351 KB