E-LIB Suche - Ergebnisse für: Liblit, Ben

1

A Set-Covering Approach to Customized Coverage Instrumentat..:

Michini, Carla ; Ohmann, Peter ; Liblit, Ben.
INFORMS Journal on Computing. 36 (2024) 1 - p. 21-38 , 2024

Link: https://doi.org/10.1287/..

2

Shifting Left for Early Detection of Machine-Learning Bugs:

, In: Formal Methods; Lecture Notes in Computer Science,

Liblit, Ben ; Luo, Linghui ; Molina, Alejandro... - p. 584-597 , 2023

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

3

User-Assisted Code Query Optimization:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Liblit, Ben ; Lyu, Yingjun ; Mukherjee, Rajdeep.. - p. 40-46 , 2023

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

4

Code vectors: understanding programs through embedded abstr..:

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

Henkel, Jordan ; Lahiri, Shuvendu K. ; Liblit, Ben. - p. 163-174 , 2018

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

5

The care and feeding of wild-caught mutants:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,

Brown, David Bingham ; Vaughn, Michael ; Liblit, Ben. - p. 511-522 , 2017

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

6

Control-flow recovery from partial failure reports:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Ohmann, Peter ; Brooks, Alexander ; D'Antoni, Loris. - p. 390-405 , 2017

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

7

Control-flow recovery from partial failure reports:

Ohmann, Peter ; Brooks, Alexander ; D'Antoni, Loris.
ACM SIGPLAN Notices. 52 (2017) 6 - p. 390-405 , 2017

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

8

Array length inference for C library bindings:

, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering,

Maas, Alisa J. ; Nazaré, Henrique ; Liblit, Ben - p. 461-471 , 2016

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

9

Lightweight control-flow instrumentation and postmortem ana..:

Ohmann, Peter ; Liblit, Ben
Automated Software Engineering. 24 (2016) 4 - p. 865-904 , 2016

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

10

Evolvix BEST Names for semantic reproducibility across code..:

Loewe, Laurence ; Scheuer, Katherine S. ; Keel, Seth A....
Annals of the New York Academy of Sciences. 1387 (2016) 1 - p. 124-144 , 2016

Link: https://doi.org/10.1111/..

11

Optimizing customized program coverage:

, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering,

Ohmann, Peter ; Brown, David Bingham ; Neelakandan, Naveen.. - p. 27-38 , 2016

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

12

Fixing, preventing, and recovering from concurrency bugs:

Deng, DongDong ; Jin, GuoLiang ; de Kruijf, Marc...
Science China Information Sciences. 58 (2015) 5 - p. 1-18 , 2015

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

13

CSIclipse: presenting crash analysis data to developers:

, In: Proceedings of the on Eclipse Technology eXchange,

Ohmann, Peter ; Liblit, Ben - p. 7-12 , 2015

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

14

Database-backed program analysis for scalable error propaga..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 1,

Weiss, Cathrin ; Rubio-González, Cindy ; Liblit, Ben - p. 586-597 , 2015

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

15

Recovering execution data from incomplete observations:

, In: Proceedings of the 13th International Workshop on Dynamic Analysis,

Ohmann, Peter ; Brown, David Bingham ; Liblit, Ben. - p. 19-24 , 2015

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