E-LIB Suche - Ergebnisse für: Barr, Earl T.

1

Program transformation landscapes for automated program mod..:

Petke, Justyna ; Alexander, Brad ; Barr, Earl T....
Empirical Software Engineering. 28 (2023) 4 - p. , 2023

2

PopArt: Ranked Testing Efficiency:

Bousy, Iason Papapanagiotakis ; Barr, Earl T. ; Clark, David
IEEE Transactions on Software Engineering. 49 (2023) 4 - p. 2221-2238 , 2023

Link: https://doi.org/10.1109/..

3

CodeGrid: A Grid Representation of Code:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Kaboré, Abdoul Kader ; Barr, Earl T. ; Klein, Jacques. - p. 1357-1369 , 2023

Link: https://dl.acm.org/doi/1..

4

Rete: Learning Namespace Representation for Program Repair:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Parasaram, Nikhil ; Barr, Earl T. ; Mechtaev, Sergey - p. 1264-1276 , 2023

Link: https://doi.org/10.1109/..

5

June: A Type Testability Transformation for Improved ATG Pe..:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Bruce, Dan ; Kelly, David ; Menendez, Hector.. - p. 274-284 , 2023

Link: https://dl.acm.org/doi/1..

6

Aide-mémoire: Improving a Project's Collective Memory via P..:

Pârţachi, Profir-Petru ; White, David R. ; Barr, Earl T.
ACM Transactions on Software Engineering and Methodology. 32 (2023) 2 - p. 1-36 , 2023

Link: https://doi.org/10.1145/..

7

Model validation using mutated training labels: An explorat..:

Zhang, Jie M. ; Harman, Mark ; Guedj, Benjamin..
Neurocomputing. 539 (2023) - p. 126116 , 2023

Link: https://doi.org/10.1016/..

8

Precise Data-Driven Approximation for Program Analysis via ..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Parasaram, Nikhil ; Barr, Earl T. ; Mechtaev, Sergey. - p. 611-623 , 2023

Link: https://doi.org/10.1109/..

9

Modus: a Datalog dialect for building container images:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Tomy, Chris ; Wang, Tingmao ; Barr, Earl T.. - p. 595-606 , 2022

Link: https://dl.acm.org/doi/1..

10

High Assurance Software for Financial Regulation and Busine..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Goldbaum, Stephen ; Mihaly, Attila ; Ellison, Tosha.. - p. 108-126 , 2022

Link: https://doi.org/10.1007/..

11

Trident: Controlling Side Effects in Automated Program Repa..:

Parasaram, Nikhil ; Barr, Earl T. ; Mechtaev, Sergey
IEEE Transactions on Software Engineering. , 2021

Link: https://doi.org/10.1109/..

12

The Assessor's Dilemma: Improving Bug Repair via Empirical ..:

Gavidia-Calderon, Carlos ; Sarro, Federica ; Harman, Mark.
IEEE Transactions on Software Engineering. 47 (2021) 10 - p. 2143-2161 , 2021

Link: https://doi.org/10.1109/..

13

Today Was a Good Day: The Daily Life of Software Developers:

Meyer, Andre N. ; Barr, Earl T. ; Bird, Christian.
IEEE Transactions on Software Engineering. 47 (2021) 5 - p. 863-880 , 2021

Link: https://doi.org/10.1109/..

14

Artefact Relation Graphs for Unit Test Reuse Recommendation:

, In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST),

White, Robert ; Krinke, Jens ; Barr, Earl T... - p. 137-147 , 2021

Link: https://doi.org/10.1109/..

15

Flexeme: untangling commits using lexical flows:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Pârțachi, Profir-Petru ; Dash, Santanu Kumar ; Allamanis, Miltiadis. - p. 63-74 , 2020

Link: https://dl.acm.org/doi/1..