- Samira Tasharofi, Sepand Ansari, Marjan Sirjani:
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. ICFEM 2006: 478-493 - Nikolai Tillmann, Feng Chen, Wolfram Schulte:
Discovering Likely Method Specifications. ICFEM 2006: 717-736 - Nikola Trcka:
Verifying chi Models of Industrial Systems with Spin. ICFEM 2006: 132-148 - Puwei Wang, Zhi Jin, Lin Liu:
Environment Ontology-Based Capability Specification for Web Service Discovery. ICFEM 2006: 185-205 - Heike Wehrheim:
Incremental Slicing. ICFEM 2006: 514-528 - Tomi Westerlund
, Juha Plosila:
Time Aware Modelling and Analysis of Multiclocked VLSI Systems. ICFEM 2006: 737-756 - Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu:
Type Checking Choreography Description Language. ICFEM 2006: 264-283 - Xiaodong Yi, Ji Wang, Xuejun Yang:
Stateful Dynamic Partial-Order Reduction. ICFEM 2006: 149-167 - Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225 - Xiangpeng Zhao, Quan Long, Zongyan Qiu:
Model Checking Dynamic UML Consistency. ICFEM 2006: 440-459 - Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov:
Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567 - Zhiming Liu, Jifeng He:
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260, Springer 2006, ISBN 3-540-47460-9 [contents]