(Programs), Proofs and Refutations (and Tests and Mutants)

This essay consists of an imaginary discussion among a group of students after a computer science class, that presents some problems of (and partial solutions to) fundamental issues of program correctness.

Authors

Alex Groce (ORCID: https://orcid.org/0000-0003-0273-4668)

Institutions

Northern Arizona University (US)

Publication Details

Published: 2024-10-17
DOI: https://doi.org/10.1145/3689492.3689810
Primary Topic: Software Testing and Debugging Techniques
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

(Programs), Proofs and Refutations (and Tests and Mutants)

Alex Groce

Oct 17, 2024

Software Testing and Debugging Techniques

article

(Programs), Proofs and Refutations (and Tests and Mutants)

Alex Groce

October 17, 2024article en

Abstract

Northern Arizona University (US)

Openalex Percentile: Top 81%

Software Testing and Debugging Techniques

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

(Programs), Proofs and Refutations (and Tests and Mutants) — Alex Groce · (2024) | TGRS Research Map | TGRS