Calculated based on number of publications stored in Pure and citations from Scopus
20012024

Research activity per year

Filter
Chapter

Search results

  • 2023

    Emerging aspects of software fault localization

    Tse, T. H., Lo, D., Groce, A., Perscheid, M., Hirschfeld, R. & Wong, W. E., Jan 2 2023, Handbook of Software Fault Localization: Foundations and Advances. wiley, p. 529-579 51 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    Counterexample guided abstraction refinement via program execution

    Kroening, D., Groce, A. & Clarke, E., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag, p. 224-238 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    44 Scopus citations
  • Error explanation with distance metrics

    Groce, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer-Verlag, p. 108-122 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    74 Scopus citations
  • Understanding counterexamples with explain

    Groce, A., Kroening, D. & Lerda, F., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag, p. 453-456 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    49 Scopus citations
  • 2003

    Predicate abstraction with minimum predicates

    Chaki, S., Clarke, E., Groce, A. & Strichman, O., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer-Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    33 Scopus citations