2011 Fifth International Conference on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

9781457714870

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Foreword

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.4 ◽

2011 ◽

Download Full-text

Model Checking for Protocols Using Verds

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.17 ◽

2011 ◽

Author(s):

Ming Ma

Keyword(s):

Download Full-text

Reviewers

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.6 ◽

2011 ◽

Download Full-text

A Generative Approach to Searching Algorithmic Programs Development

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.34 ◽

2011 ◽

Author(s):

Haihe Shi ◽

Jinyun Xue

Keyword(s):

Generative Approach

Download Full-text

Focus Game for Projection Temporal Logic

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.45 ◽

2011 ◽

Author(s):

Cong Tian ◽

Zhenhua Duan

Keyword(s):

Download Full-text

Title Page i

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.1 ◽

2011 ◽

Keyword(s):

Download Full-text

Formal Specification of Domain-Specific ECA Policy Models

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.29 ◽

2011 ◽

Author(s):

Raphael Romeikat ◽

Bernhard Bauer

Keyword(s):

Formal Specification ◽

Domain Specific ◽

Download Full-text

An Approach to Regression Test Selection of Adaptive EFSM Tests

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.39 ◽

2011 ◽

Author(s):

Bo Guo ◽

Mahadevan Subramaniam ◽

Hai-Feng Guo

Keyword(s):

Test Selection ◽

Regression Test Selection ◽

Regression Test ◽

Download Full-text

Making Program Logics Intelligible

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.48 ◽

2011 ◽

Author(s):

John C. Reynolds

Download Full-text

Test Case Generation Using PDA

2011 Fifth International Conference on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2011.40 ◽

2011 ◽

Author(s):

Puneet Bhateja

Keyword(s):

Test Case Generation ◽

Download Full-text