Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andreas Zeller

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE Transactions on Software Engineering
Software
2015English

Commentary: Mutation as a Toxicological Endpoint for Regulatory Decision‐making

Environmental and Molecular Mutagenesis
MutagenesisToxicologyHealthGeneticsEpidemiology
2019English

(Un-)Covering Equivalent Mutants

2010English

Reconstructing Core Dumps

2013English

Patients' Self-Reported Adherence to Cardiovascular Medication Using Electronic Monitors as Comparators

Hypertension Research
Internal MedicineCardiovascular MedicinePhysiologyCardiology
2008English

Visualizing Memory Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

When Abstraction Fails

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Replaying and Isolating Failing Multi-Object Interactions

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy