Concepedia

Andreas Riefert

AR

Statistics

Publications

4

Citations

110

H-Index

4

Active since

2014

Affiliations

Polytechnic University of Turin(Current)

University of Freiburg

Andreas Riefert is an author at Polytechnic University of Turin specializing in formal verification, formal methods, and computer engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Design

Publications per year

2014–2016

4

Publications

4

A Flexible Framework for the Automatic Generation of SBST Programs

Andreas Riefert, Riccardo Cantoro, Matthias Sauer et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2016 · 63 citations

Software Maintenance, Engineering, Verification +26

An effective approach to automatic functional processor test generation for small-delay faults

Andreas Riefert, L. Ciganda, Matthias Sauer et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 · 2014 · 20 citations

Engineering, Mem Testing, Verification +21

On the Automatic Generation of SBST Test Programs for In-Field Test

Andreas Riefert, Riccardo Cantoro, Matthias Sauer et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 17 citations

Engineering, Verification, Test Data Generation +25

On the automatic generation of SBST test programs for in-field test

Andreas Riefert, Riccardo Cantoro, Matthias Sauer et al. · Design, Automation, and Test in Europe · 2015 · 10 citations

Engineering, Verification, Test Data Generation +25

1–4 of 4