𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Stepwise Validation of Formal Specifications

✍ Scribed by Mashkoor, Atif; Jacquot, Jean-Pierre

Book ID: 126762446
Publisher: IEEE
Year: 2011
Weight: 289 KB
Category: Article
ISBN: 0769546099
DOI: 10.1109/APSEC.2011.48

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Modeling Timing Requirements in Problem Frames Using CCSL

✍ Chen, Xiaohong; Liu, Jing; Mallet, Frederic; Jin, Zhi 📂 Article 📅 2011 🏛 IEEE ⚖ 346 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Understanding Source Code Differences by Separating Refactoring Effects

✍ Thangthumachit, Sirinut; Hayashi, Shinpei; Saeki, Motoshi 📂 Article 📅 2011 🏛 IEEE ⚖ 292 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Intrusive Test Automation with Failed Test Case Clustering

✍ Hsueh, Chien-Hsin; Cheng, Yung-Pin; Pan, Wei-Cheng 📂 Article 📅 2011 🏛 IEEE ⚖ 816 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications

✍ Liu, Shaoying; Nakajima, Shin 📂 Article 📅 2011 🏛 IEEE ⚖ 439 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Using Variability Models to Reduce Verification Effort of Train Station Models

✍ Svendsen, Andreas; Haugen, Øystein; Moller-Pedersen, Birger 📂 Article 📅 2011 🏛 IEEE ⚖ 351 KB

[IEEE 2011 18th Asia Pacific Software En

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming

✍ Dong, Xin; Yang, Qiu-Song; Wang, Qing; Zhai, Jian; Ruhe, Gunther 📂 Article 📅 2011 🏛 IEEE ⚖ 390 KB