CoChat
Sign Up
Cited by 287Software Testing and Debugging TechniquesLogic, programming, and type systemsAdvanced Software Engineering Methodologies

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

Xie, Tao, Marinov, Darko, Schulte, Wolfram, Notkin, David·2005·Lecture Notes in Computer Science
DOI 10.1007/978-3-540-31980-1_24
Open this paper in CoChat — free account

Integrity signals

Registry

Crossref · 10.1007/978-3-540-31980-1_24

Cites

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • Prior work on detecting discrimination has focused on measuring correlation or mutual information between inputs and outputs, discrepancies in fractions of inputs that produce a given output, or discrepancies in output probability distributions.

    “Prior work on detecting discrimination has focused on measuring correlation or mutual information between inputs and outputs [79], discrepancies in the fractions of inputs that produce a given output [18, 19, 39-42, 87-89, 91], or discrepancies in output probability distributions [51].”

    From Fairness testing: testing software for discrimination (2017) · cites this paper as [87]

The citation lists haven’t been fetched yet

References 39 · Cited by 287

Authors
Xie, T., Marinov, D., Schulte, W., & Notkin, D.
Affiliations
  • University of Washington (US)
  • University of Illinois Urbana-Champaign (US)
  • Microsoft (United States) (US)
ORCID
Venue
Lecture Notes in Computer Science
Publisher
Springer Berlin Heidelberg
Published
2005
Pages
365-381
ISSN
  • 0302-9743 (ISSN-L)
  • 1611-3349
DOI
10.1007/978-3-540-31980-1_24
OpenAlex
W1845288303
Cited by
287
References
39
Citations by year
2026: 3 · 2025: 3 · 2024: 1 · 2023: 5 · 2022: 7 · 2021: 4 · 2020: 6 · 2019: 10 · 2018: 10 · 2017: 7 · 2016: 4 · 2015: 14 · 2014: 20 · 2013: 17 · 2012: 16
FWCI
19.61
Type
conference paper
Language
en
Open access
closed
Locations
Lecture notes in computer science (publishedVersion)
Funders
  • National Science Foundation
  • Ames Research Center
Topics
  • Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
  • Physical Sciences › Computer Science › Artificial Intelligence › Logic, programming, and type systems
  • Physical Sciences › Computer Science › Artificial Intelligence › Advanced Software Engineering Methodologies
Keywords
unit test generation, object-oriented software, symbolic execution, state comparison, branch coverage

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review