2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769538709

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Front cover]

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.42 ◽

2009 ◽

Keyword(s):

Front Cover

Download Full-text

Property-Driven Scenario Integration

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.10 ◽

2009 ◽

Cited By ~ 1

Author(s):

Jewgenij Botaschanjan ◽

Alexander Harhurin

Download Full-text

Specifying and Checking Refinement Relationships in VDM++

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.34 ◽

2009 ◽

Cited By ~ 1

Author(s):

Yojiro Kawamata ◽

Christian Sommer ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Download Full-text

Specifying Interacting Components with Coordinated Concurrent Scenarios

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.18 ◽

2009 ◽

Cited By ~ 1

Author(s):

Prakash Chandrasekaran ◽

Madhavan Mukund

Keyword(s):

Interacting Components

Download Full-text

Using Change Impact Analysis to Select Tests for Extended Finite State Machines

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.38 ◽

2009 ◽

Cited By ~ 1

Author(s):

Mahadevan Subramaniam ◽

Bo Guo ◽

Zoltan Pap

Keyword(s):

Impact Analysis ◽

Finite State Machines ◽

State Machines ◽

Change Impact Analysis ◽

Finite State ◽

Extended Finite State Machines ◽

Change Impact

Download Full-text

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.8 ◽

2009 ◽

Download Full-text

Preface

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.4 ◽

2009 ◽

Download Full-text

Programming Sagas in SOCK

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.23 ◽

2009 ◽

Cited By ~ 5

Author(s):

Ivan Lanese ◽

Gianluigi Zavattaro

Download Full-text

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.16 ◽

2009 ◽

Cited By ~ 5

Author(s):

Marcello M. Bersani ◽

Carlo A. Furia ◽

Matteo Pradella ◽

Matteo Rossi

Keyword(s):

Real Time ◽

Integrated Modeling ◽

Real Time Systems ◽

Time Systems

Download Full-text

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2009.28 ◽

2009 ◽

Cited By ~ 3

Author(s):

Cristiano Bertolini ◽

Alexandre Mota

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Gui Testing ◽

Testing Techniques

Download Full-text

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

[Front cover]

Property-Driven Scenario Integration

Specifying and Checking Refinement Relationships in VDM++

Specifying Interacting Components with Coordinated Concurrent Scenarios

Using Change Impact Analysis to Select Tests for Extended Finite State Machines

Table of Contents

Preface

Programming Sagas in SOCK

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques

Export Citation Format

2009 Seventh IEEE International Conference on Software Engineering and Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

[Front cover]

Property-Driven Scenario Integration

Specifying and Checking Refinement Relationships in VDM++

Specifying Interacting Components with Coordinated Concurrent Scenarios

Using Change Impact Analysis to Select Tests for Extended Finite State Machines

Table of Contents

Preface

Programming Sagas in SOCK

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Using Probabilistic Model Checking to Evaluate GUI Testing Techniques

2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Latest Publications