Abstract is missing.
- Making Program Logics IntelligibleJohn C. Reynolds. 3-4 [doi]
- Automatic Specification-Based Testing: Challenges and PossibilitiesShaoying Liu. 5-8 [doi]
- A Tagging Protocol for Asynchronous TestingPuneet Bhateja. 11-18 [doi]
- Inheritance and Modularity in Specification and Verification of OO ProgramsYijing Liu, Ali Hong, Zongyan Qiu. 19-26 [doi]
- Formalizing Application Programming Interfaces of the OSEK/VDX Operating System SpecificationLongfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu. 27-34 [doi]
- Refactoring Object-Oriented Specifications with Inheritance-Based PolymorphismGraeme Smith, Steffen Helke. 35-41 [doi]
- Focus Game for Projection Temporal LogicCong Tian, Zhenhua Duan. 45-51 [doi]
- An Automatic Reasoning Mechanism for NFR Goal ModelsBo Wei, Zhi Jin, Didar Zowghi. 52-59 [doi]
- An Efficient Resolution Based Algorithm for SATMin Zhou, Fei He, Ming Gu. 60-67 [doi]
- A Symbolic Algorithm for Shortest EG Witness GenerationYang Zhao, Xiaoqing Jin, Gianfranco Ciardo. 68-75 [doi]
- A Generative Approach to Searching Algorithmic Programs DevelopmentHaihe Shi, Jinyun Xue. 76-81 [doi]
- A Categorical Modeling Approach of Aspect-Oriented SystemsArsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer. 85-92 [doi]
- Model Checking Multirate Hybrid Systems with Restricted Convex PolyhedronHaibin Zhang. 93-99 [doi]
- Behaviour Recognition Using ChroniclesPatrice Carle, Christine Choppy, Romain Kervarc. 100-107 [doi]
- Approximate Bisimulation for Metric Doubly Labeled Transition SystemHaiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu. 108-114 [doi]
- Java Goes TLA+Hannes Lau, Uwe Nestmann. 117-124 [doi]
- A Simple Model for Certifying Assembly Programs with First-Class Function PointersWei Wang, Zhong Shao, Xinyu Jiang, Yu Guo. 125-132 [doi]
- Towards an Axiomatic Verification System for JavaScriptShengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu. 133-141 [doi]
- Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSPYanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi. 142-149 [doi]
- An Approach to Handling Failure Recovery in Service Composition and Its AnalysisGuisheng Fan, Huiqun Yu, Liqiong Chen, Chunhua Gu. 153-160 [doi]
- Research on Web Service Composition Using Probabilistic Abstraction RefinementHonghao Gao, Huaikou Miao, Hongwei Zeng. 161-168 [doi]
- Modeling and Prototyping Business Processes in AutoPALing Yin, Jing Liu, Zuohua Ding. 169-176 [doi]
- Modeling and Verifying for Frameset-Based Web ApplicationsShengbo Chen, Huaikou Miao. 177-184 [doi]
- A Stochastic-Petri-Net-Based Model for Ontology-Based Service CompositionsYunni Xia, Gang Dai, Fangfang Tang, Qingsheng Zhu. 187-190 [doi]
- Program Slicing Stored XSS Bugs in Web ApplicationYi Wang, Zhoujun Li, Tao Guo. 191-194 [doi]
- Towards a Probabilistic Calculus for Mobile Ad Hoc NetworksSi Liu, Yongxin Zhao, Huibiao Zhu, Qin Li. 195-198 [doi]
- Analysis of WS-BPEL Processes in PRISMChen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu. 199-202 [doi]
- Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based SpecificationsWenrui Li, Pengcheng Zhang, Zhijian Wang, Zhongxue Yang. 205-208 [doi]
- Formal Specification of Domain-Specific ECA Policy ModelsRaphael Romeikat, Bernhard Bauer. 209-212 [doi]
- Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented ApproachLichen Zhang. 213-216 [doi]
- An Approach to Regression Test Selection of Adaptive EFSM TestsBo Guo, Mahadevan Subramaniam, Hai-Feng Guo. 217-220 [doi]
- Test Case Generation Using PDAPuneet Bhateja. 221-224 [doi]
- Undesirable Aspect Interactions: A Prevention PolicyArsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer. 225-228 [doi]
- Model Checking for Protocols Using VerdsMing Ma. 231-234 [doi]
- Model Checking: A Coalgebraic ApproachJianhua Gao, Ying Jiang. 235-238 [doi]
- A Method to Generate Verification Condition GeneratorZhaopeng Li, Yang Zhang, Yiyun Chen. 239-242 [doi]
- A Game Theoretic Model and Tree Analysis Method for Fair Exchange ProtocolsGuoqiang Li 0001, Yonggen Gu, Xiuting Tao, Jie Tao. 243-246 [doi]
- Modeling and Analyzing the (mu)TESLA Protocol Using CSPMengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu. 247-250 [doi]
- Proving Computational Geometry Algorithms in TLA+2Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun. 251-254 [doi]