𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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, - Towards certifying domain-specific properties of synthesized code

✍ Scribed by Rosu, G.; Whittle, J.

Book ID: 126762448
Publisher: IEEE Comput. Soc
Year: 2002
Weight: 299 KB
Category: Article
ISBN-13: 9780769517360
DOI: 10.1109/ASE.2002.1115032

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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, - Predicting software stability using case-based reasoning

✍ Grosser, D.; Sahraoui, H.A.; Valtchev, P. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 259 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 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, - Report on the workshop on the state of the art in automated software engineering

✍ Ledru, Y.; Redmiles, D.F. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 208 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, - Combining and adapting software quality predictive models by genetic algorithms

✍ Azar, D.; Precup, D.; Bouktif, S.; Kegl, B.; Sahraoui, H. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 260 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, - Constructing CORBA-supported oracles for testing: a case study in automated software testing

✍ Fenkam, P.; Gall, H.; Jazayeri, M. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 316 KB