Integrating Specification and Programs for System Modeling and Verification
Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Fault-Based Test Case Generation for Component Connectors
Aichernig, B.K., Arbab, F., Astefanoaei, L., de Boer, F.S., Meng Sun, Rutten, J.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Verifying Self-stabilizing Population Protocols with Coq
Yuxin Deng, Monin, J.-F.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Test Data Generation for Derived Types in C Program
Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, JueLiang Hu
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Automated Test Case Generation Based on Coverage Analysis
Majchrzak, T.A., Kuchen, H.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Semantics of Metamodels in UML
Lijun Shan, Hong Zhu
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Environmental Simulation of Real-Time Systems with Nested Interrupts
Guoqiang Li, Yuen, S., Adachi, M.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Enforcing Constraints on Life Cycles of Business Artifacts
Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Modeling Fault Tolerant Services in Service-Oriented Architecture
Mahdian, F., Rafe, V., Rafeh, R., Rahmani, A.T.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
State Visibility and Communication in Unifying Theories of Programming
Butterfield, A., Gancarski, P., Woodcock, J.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Merging of Use Case Models: Semantic Foundations
Barrett, S., Sinnig, D., Chalin, P., Butler, G.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Verification of Population Ring Protocols in PAT
Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Modeling MapReduce with CSP
Wen Su, Fan Yang, Huibiao Zhu, Qin Li
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Modular Development of Certified System Software
Zhong Shao
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Message from the Chairs
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
(01.07.2009)
Get full text
Conference Proceeding
Verifying the Implementation of an Operating System Scheduler
Kleine, M., Bartels, B., Gothel, T., Glesner, S.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Interpreting a Successful Testing Process: Risk and Actual Coverage
Stoelinga, M., Timmer, M.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding
Consistency Checking for LSC Specifications
Hai-Feng Guo, Wen Zheng, Subramaniam, M.
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Published in 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (01.07.2009)
Get full text
Conference Proceeding