2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 31)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781665401401

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00004 ◽

2021 ◽

Download Full-text

Semi-Automated Test-Case Propagation in Fork Ecosystems

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00018 ◽

2021 ◽

Author(s):

Mukelabai Mukelabai ◽

Thorsten Berger ◽

Paulo Borba

Keyword(s):

Test Case ◽

Automated Test

Download Full-text

On Automatic Parsing of Log Records

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00017 ◽

2021 ◽

Author(s):

Jared Rand ◽

Andriy Miranskyy

Keyword(s):

Automatic Parsing

Download Full-text

Secure Software Development in the Era of Fluid Multi-party Open Software and Services

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00027 ◽

2021 ◽

Author(s):

Ivan Pashchenko ◽

Riccardo Scandariato ◽

Antonino Sabetta ◽

Fabio Massacci

Keyword(s):

Software Development ◽

Secure Software ◽

Secure Software Development

Download Full-text

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00009 ◽

2021 ◽

Author(s):

Atif Mashkoor ◽

Michael Leuschel ◽

Alexander Egyed

Keyword(s):

Formal Specification ◽

Novel Approach ◽

Check Compliance

Download Full-text

[Title page i]

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00001 ◽

2021 ◽

Keyword(s):

Title Page

Download Full-text

An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00015 ◽

2021 ◽

Author(s):

Sandip Ghosal ◽

R. K. Shyamasundar

Keyword(s):

Axiomatic Approach ◽

Concurrent Programs

Download Full-text

A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00011 ◽

2021 ◽

Author(s):

Glaucia Melo ◽

Paulo Alencar ◽

Donald Cowan

Keyword(s):

Machine Learning ◽

Software Development ◽

Development Paradigm

Download Full-text

Software Ticks Need No Specifications

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00021 ◽

2021 ◽

Author(s):

Christoph Reichenbach

Download Full-text

DirectDebug: Automated Testing and Debugging of Feature Models

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ◽

10.1109/icse-nier52604.2021.00025 ◽

2021 ◽

Author(s):

Viet-Man Le ◽

Alexander Felfernig ◽

Mathias Uta ◽

David Benavides ◽

Jose Galindo ◽

...

Keyword(s):

Automated Testing ◽

Feature Models ◽

Testing And Debugging

Download Full-text

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Table of Contents

Semi-Automated Test-Case Propagation in Fork Ecosystems

On Automatic Parsing of Log Records

Secure Software Development in the Era of Fluid Multi-party Open Software and Services

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

[Title page i]

An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context

Software Ticks Need No Specifications

DirectDebug: Automated Testing and Debugging of Feature Models

Export Citation Format

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Table of Contents

Semi-Automated Test-Case Propagation in Fork Ecosystems

On Automatic Parsing of Log Records

Secure Software Development in the Era of Fluid Multi-party Open Software and Services

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

[Title page i]

An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

A Cognitive and Machine Learning-Based Software Development Paradigm Supported by Context

Software Ticks Need No Specifications

DirectDebug: Automated Testing and Debugging of Feature Models

2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
Latest Publications