2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538604229

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.10 ◽

2017 ◽

Author(s):

Sora Bae ◽

Joonyoung Park ◽

Sukyoung Ryu

Keyword(s):

Guided Search ◽

Coverage Metrics ◽

Concolic Testing

Download Full-text

[Publisher's information]

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.23 ◽

2017 ◽

Download Full-text

Modeling Families of Public Licensing Services: A Case Study

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.8 ◽

2017 ◽

Cited By ~ 1

Author(s):

Guillermina Cledou ◽

Luis Soares Barbosa

Download Full-text

Featured Weighted Automata

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.2 ◽

2017 ◽

Cited By ~ 6

Author(s):

Uli Fahrenberg ◽

Axel Legay

Keyword(s):

Weighted Automata

Download Full-text

Message from FormaliSE 2017 Workshop Chairs

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.12 ◽

2017 ◽

Download Full-text

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.19 ◽

2017 ◽

Download Full-text

A Generic Algorithm for Program Repair

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.7 ◽

2017 ◽

Cited By ~ 3

Author(s):

Besma Khaireddine ◽

Aleksandr Zakharchenko ◽

Ali Mili

Keyword(s):

Generic Algorithm ◽

Program Repair

Download Full-text

[Copyright notice]

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.18 ◽

2017 ◽

Keyword(s):

Download Full-text

A Model for Provably Secure Software Design

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.6 ◽

2017 ◽

Cited By ~ 2

Author(s):

Alexander van den Berghe ◽

Koen Yskout ◽

Riccardo Scandariato ◽

Wouter Joosen

Keyword(s):

Software Design ◽

Secure Software ◽

Provably Secure

Download Full-text

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2017.11 ◽

2017 ◽

Author(s):

Nicholas Moore ◽

Mark Lawford

Keyword(s):

Static Analysis ◽

Theorem Proving ◽

Safety Critical

Download Full-text

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

[Publisher's information]

Modeling Families of Public Licensing Services: A Case Study

Featured Weighted Automata

Message from FormaliSE 2017 Workshop Chairs

Table of contents

A Generic Algorithm for Program Repair

[Copyright notice]

A Model for Provably Secure Software Design

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving

Export Citation Format

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

[Publisher's information]

Modeling Families of Public Licensing Services: A Case Study

Featured Weighted Automata

Message from FormaliSE 2017 Workshop Chairs

Table of contents

A Generic Algorithm for Program Repair

[Copyright notice]

A Model for Provably Secure Software Design

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications