Abstract is missing.
- Overview of TASE 2012 Talk on Search Based Software EngineeringMark Harman. 3-4 [doi]
- From Verification to Specification InferenceWei-Ngan Chin, Cristina David. 5-6 [doi]
- Symbolic Model Checking for Propositional Projection Temporal LogicTao Pang, Zhenhua Duan, Cong Tian. 9-16 [doi]
- Formal Specification and Probabilistic Verification of SysML Activity DiagramsYosr Jarraya, Mourad Debbabi. 17-24 [doi]
- Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case StudyEnder Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson. 25-32 [doi]
- Strong Preservation by Model DeformationRoberto Giacobazzi, Isabella Mastroeni, Durica Nikolic. 33-40 [doi]
- Formal Verification of Netlog ProtocolsMeixian Chen, Jean-François Monin. 43-50 [doi]
- Automated Verification of the FreeRTOS Scheduler in HIP/SLEEKJoão F. Ferreira, Guanhua He, Shengchao Qin. 51-58 [doi]
- Formal Specification of Hybrid MARTE StatechartsZiwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang. 59-66 [doi]
- Incorporating Constraints to Software System Survivability Specification and ProofYanjun Zuo. 67-74 [doi]
- A Logic for Accumulated-Weight Reasoning on Multiweighted Modal AutomataSebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay. 77-84 [doi]
- Frequency Linear-time Temporal LogicBenedikt Bollig, Normann Decker, Martin Leucker. 85-92 [doi]
- A Calculus of Higher Order Safe Ambients and Its BisimulationsZining Cao. 93-100 [doi]
- An Improved Full Abstraction Approach to Analyzing Locality SemanticsJianxin Xue, Huan Long, Guoqiang Li 0001. 101-108 [doi]
- Model-Based Test Generation Using Evolutional Symbolic GrammarHai-Feng Guo, Mahadevan Subramaniam. 111-118 [doi]
- Integrating Model-Based Testing and Analysis Tools via Test Case ExchangeBernhard K. Aichernig, Florian Lorber, Stefan Tiran. 119-126 [doi]
- Regression Test Cases Generation Based on Automatic Model RevisionNan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li. 127-134 [doi]
- File Parsing Vulnerability Detection with Symbolic ExecutionChaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi. 135-142 [doi]
- Formal Verification and Simulation: Co-verification for Subway Control SystemsHuixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi. 145-152 [doi]
- Agile Services Oriented Virtualization of Web ServicesWanghu Chen, Jing Li. 153-160 [doi]
- Modeling and Validation of PLC-Controlled Systems: A Case StudyRui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga. 161-166 [doi]
- A Formal Diagrammatic Approach to Timed Workflow ModellingHao Wang, Adrian Rutle, Wendy MacCaull. 167-174 [doi]
- Recognising the Capacities of Dynamic Reconfiguration for the QoS Assurance of Running Systems in Concurrent and Parallel EnvironmentsWei Li, Maolin Tang. 177-184 [doi]
- Moverness for Locks and TransactionsGranville Barnett, Shengchao Qin. 185-192 [doi]
- The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation AnalysisRodger Burmeister, Steffen Helke. 193-200 [doi]
- Connectors as Designs: The Time DimensionSun Meng. 201-208 [doi]
- A Type System for SPARDLZheng Wang, Geguang Pu, Jianwen Li, Bin Gu. 209-216 [doi]
- Verifying OO Programs by Linking Algebraic and Abstract SpecificationsQin Shu, Shuling Wang, Yijing Liu. 219-222 [doi]
- Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating SystemJianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye. 223-226 [doi]
- Dataflow Weaknesses Analysis of Scientific Workflow Based on Fault TreeXiaodong Fu, Feng Wang, Xiaoyan Liu, Kaifan Ji, Ping Zou. 227-230 [doi]
- An Approach for Process Variability Control in Business Process ManagementQing Yao, Yuqing Sun. 231-234 [doi]
- LBI Cut Elimination Proof with BI-MultiCutRyuta Arisaka, Shengchao Qin. 235-238 [doi]
- A Succinct and Efficient Implementation of a 2^32 BDD PackageGuanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su. 241-244 [doi]
- Executing Model Checking Counterexamples in SimulinkJiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira. 245-248 [doi]
- Comparative Analysis of Clustering Protocols with Probabilistic Model CheckingQian Li, Péter Schaffer, Jun Pang, Sjouke Mauw. 249-252 [doi]
- A Native Approach to Modeling Timed Behavior in the Pi-CalculusKamal Barakat, Stefan Kowalewski, Thomas Noll. 253-256 [doi]
- On model construction for modal mu-calculusNan Qu. 257-260 [doi]
- Statement-Coverage Testing for Nondeterministic Concurrent ProgramsGwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin. 263-266 [doi]
- A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State MachinesTianyong Wu, Jun Yan, Jian Zhang. 267-270 [doi]
- Dynamic Solution of Linear Constraints for Test Case GenerationMarko Ernsting, Tim A. Majchrzak, Herbert Kuchen. 271-274 [doi]
- Categorical Reasoning about Meta-modelsLaurent Thiry, Frédéric Fondement, Pierre-Alain Muller. 275-278 [doi]
- Bisimulation for Lattice-valued Transition SystemsHaiyu Pan, Min Zhang, Yixiang Chen. 279-282 [doi]