3. TASE 2009: Tianjin, China
Wei-Ngan Chin, Shengchao Qin (Eds.): TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. IEEE Computer Society 2009 ISBN 978-0-7695-3757-3
Invited Talks
- Kim Guldstrand Larsen: Verification and Performance Analysis for Embedded Systems. 3-4
- Zhong Shao: Modular Development of Certified System Software. 5
Invited Tutorial
Real-Time and Embedded Systems
- Guoqiang Li, Shoji Yuen, Masakazu Adachi: Environmental Simulation of Real-Time Systems with Nested Interrupts. 21-28
- Istvan Knoll, Anders P. Ravn, Arne Skou: Semantics for Communicating Actors with Interdependent Real-Time Deadlines. 29-35
- Yan Xiao, Zhenhua Duan, Pengcheng Nie: An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems. 36-43
Semantics
- Andrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. 47-54
Model Checking
- Hong Pan, Yi Lv, Huimin Lin: Environment Abstraction with State Clustering and Parameter Truncating. 73-80
Specification and Security
- Richard Banach: Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. 103-110
- Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. 111-118
- Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: Consistency Checking for LSC Specifications. 119-126
- Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. 127-135
Software Testing I
- Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li: A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. 139-146
- Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten: Fault-Based Test Case Generation for Component Connectors. 147-154
- Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu: Test Data Generation for Derived Types in C Program. 155-162
Software Models
- Bernd Fischer, Ando Saabas, Tarmo Uustalu: Program Repair as Sound Optimization of Broken Programs. 165-173
- Bo Song, Huaikou Miao: Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. 174-181
- Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler: Merging of Use Case Models: Semantic Foundations. 182-189
Verification
- Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang: Verifying Semistructured Data Normalization Using SWRL. 193-200
Concurrency
- Moritz Martens, Mila E. Majster-Cederbaum: Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. 225-232
- Weisong Li: Algorithms for Computing Weak Bisimulation Equivalence. 241-248
Software Testing II
- Mariëlle Stoelinga, Mark Timmer: Interpreting a Successful Testing Process: Risk and Actual Coverage. 251-258
- Tim A. Majchrzak, Herbert Kuchen: Automated Test Case Generation Based on Coverage Analysis. 259-266
- Lian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu: Exploring Topological Structure of Boolean Expressions for Test Data Selection. 267-274
Poster Papers
- Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. 285-286
- Tannaz Alinaghi, Camellia Ghoroghi, Ahmad Sabouri, Reza Basseda: A Framework for Dependency Evaluation of the Agent Oriented Methodologies Work Flows. 289-290
- Che-Sheng Lin, Gwan-Hwan Hwang: Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs. 291-292
- Pierre Kelsen, Qin Ma: Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. 295-296
- Minghui Wu, Fanwei Zhu, Jia Lv, Tao Jiang, Jing Ying: Improve Semantic Web Services Discovery through Similarity Search in Metric Space. 297-298
- Yanfang Ma, Min Zhang, Yixiang Chen: Parameterized Bisimulation Infinite Evolution Mechanism. 299-300
- Tetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda: Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. 303-304
- Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Towards Automated Software Verification Using Model Checking Techniques. 305-306
- Jinwei Wang, Huazhi Sun, Jianping Fan: DUMS: A Dynamical Updatable Monitoring System for Desktop PCs Used for Distributed Computing. 309-310
- Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio: Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. 311-312
- Dong-Wook Kim, Tae-Sung Jung, Dae-Won Kim, Seong-Hyeuk Nam, Hyuk-Ryul Kwon, Sang-Haeng Choi, Hyung-Dae Koh, Han-Suk Choi, Hong-Seog Park: G-BLAST: BLAST Manager in an Heterogeneous Distributed Environment. 315-316
- Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Modeling Fault Tolerant Services in Service-Oriented Architecture. 319-320
- Qichao Liu, Faizan Javed, Marjan Mernik, Barrett R. Bryant, Jeff Gray, Alan P. Sprague, Dejan Hrncic: MARS: Metamodel Recovery from Multi-tiered Models Using Grammar Inference. 325-326
- Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li: Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. 327-328
- Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin: Measuring the Survivability of Object-Oriented Software. 329-330
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team