Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13

Relational analysis of algebraic datatypes

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081740 ◽

2005 ◽

Cited By ~ 10

Author(s):

Viktor Kuncak ◽

Daniel Jackson

Keyword(s):

Relational Analysis

Download Full-text

Reasoning about confidentiality at requirements engineering time

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081715 ◽

2005 ◽

Cited By ~ 10

Author(s):

Renaud De Landtsheer ◽

Axel van Lamsweerde

Keyword(s):

Requirements Engineering

Download Full-text

Summarizing application performance from a components perspective

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081730 ◽

2005 ◽

Cited By ~ 9

Author(s):

Kavitha Srinivas ◽

Harini Srinivasan

Keyword(s):

Application Performance

Download Full-text

The story of moose

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081707 ◽

2005 ◽

Cited By ~ 15

Author(s):

Oscar Nierstrasz ◽

Stéphane Ducasse ◽

Tudor Gǐrba

Download Full-text

Arithmetic program paths

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081721 ◽

2005 ◽

Cited By ~ 3

Author(s):

Manos Renieris ◽

Shashank Ramaprasad ◽

Steven P. Reiss

Download Full-text

Reuse and variability in large software applications

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081757 ◽

2005 ◽

Cited By ~ 13

Author(s):

Jacky Estublier ◽

German Vega

Keyword(s):

Software Applications ◽

Large Software

Download Full-text

Automatic generation of suggestions for program investigation

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081711 ◽

2005 ◽

Cited By ~ 28

Author(s):

Martin P. Robillard

Keyword(s):

Automatic Generation

Download Full-text

Applying classification techniques to remotely-collected program execution data

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081732 ◽

2005 ◽

Cited By ~ 14

Author(s):

Murali Haran ◽

Alan Karr ◽

Alessandro Orso ◽

Adam Porter ◽

Ashish Sanil

Keyword(s):

Program Execution ◽

Classification Techniques

Download Full-text

Joining dataflow with predicates

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081742 ◽

2005 ◽

Cited By ~ 18

Author(s):

Jeffrey Fischer ◽

Ranjit Jhala ◽

Rupak Majumdar

Download Full-text

Utilizing verification and validation certificates to estimate software defect density

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 ◽

10.1145/1081706.1081768 ◽

2005 ◽

Author(s):

Mark Sherriff

Keyword(s):

Defect Density ◽

Verification And Validation ◽

Software Defect

Download Full-text

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Relational analysis of algebraic datatypes

Reasoning about confidentiality at requirements engineering time

Summarizing application performance from a components perspective

The story of moose

Arithmetic program paths

Reuse and variability in large software applications

Automatic generation of suggestions for program investigation

Applying classification techniques to remotely-collected program execution data

Joining dataflow with predicates

Utilizing verification and validation certificates to estimate software defect density

Export Citation Format

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Relational analysis of algebraic datatypes

Reasoning about confidentiality at requirements engineering time

Summarizing application performance from a components perspective

The story of moose

Arithmetic program paths

Reuse and variability in large software applications

Automatic generation of suggestions for program investigation

Applying classification techniques to remotely-collected program execution data

Joining dataflow with predicates

Utilizing verification and validation certificates to estimate software defect density

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13
Latest Publications