𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

✍ Scribed by Fraser, Gordon; Wotawa, Franz

Book ID: 126755549
Publisher: IEEE
Year: 2007
Weight: 190 KB
Category: Article
ISBN-13: 9780769529370
DOI: 10.1109/ICSEA.2007.71

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE International Conference on Softwa

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Suggestions on Pattern Transformation in UML-RT

✍ Sun, Yifeng; Levy, David 📂 Article 📅 2007 🏛 IEEE ⚖ 374 KB

[IEEE International Conference on Softwa

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Test Data Generation from UML State Machine Diagrams using GAs

✍ Doungsa-ard, Chartchai; Dahal, Keshav; Hossain, Alamgir; Suwannasart, Taratip 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 391 KB

[IEEE International Conference on Softwa

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - An Evaluation of Traceability Approaches to Support Software Evolution

✍ Rochimah, Siti; Wan Kadir, Wan M. N.; Abdullah, Abdul H. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 201 KB

[IEEE International Conference on Softwa

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Legacy Migration to Service-Oriented Computing with Mashups

✍ Cetin, Semih; Altintas, N. Ilker; Oguztuzun, Halit; Dogru, Ali H.; Tufekci, Ozgu 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 272 KB

[IEEE International Conference on Softwa

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach

✍ Fabbrini, Fabrizio; Fusani, Mario; Gnesi, Stefania; Lami, Giuseppe 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 203 KB

[IEEE International Conference on Softwa

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Abstract Syntax Trees - and their Role in Model Driven Software Development

✍ Fischer, G.; Lusiardi, J.; Wolff von Gudenberg, J. 📂 Article 📅 2007 🏛 IEEE ⚖ 167 KB