𝔖 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 - A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications

✍ Scribed by Liu, Shaoying; Nakajima, Shin

Book ID: 126762445
Publisher: IEEE
Year: 2011
Weight: 439 KB
Category: Article
ISBN: 0769546099
DOI: 10.1109/APSEC.2011.16

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 - Stepwise Validation of Formal Specifications

✍ Mashkoor, Atif; Jacquot, Jean-Pierre 📂 Article 📅 2011 🏛 IEEE ⚖ 289 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 - 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 - Towards a Framework for the Application of Model-Driven Development in Situational Method Engineering

✍ Zohrevand, Zahra; Bibalan, Yousef Mehrdad; Ramsin, Raman 📂 Article 📅 2011 🏛 IEEE ⚖ 689 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 - Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking

✍ Kong, Weiqiang; Katahira, Noriyuki; Watanabe, Masahiko; Katayama, Tetsuro; Hisaz 📂 Article 📅 2011 🏛 IEEE ⚖ 317 KB