Login / Signup
Anton Chepurov
Publication Activity (10 Years)
Years Active: 2008-2013
Publications (10 Years): 0
Top Topics
Decision Diagrams
Evolutionary Computation
Automated Design
Mutation Operator
Top Venues
Microprocess. Microsystems
</>
Publications
</>
Jaan Raik
,
Urmas Repinski
,
Anton Chepurov
,
Hanno Hantson
,
Raimund Ubar
,
Maksim Jenihhin
Automated design error debug using high-level decision diagrams and mutation operators.
Microprocess. Microsystems
37 (4-5) (2013)
Hanno Hantson
,
Jaan Raik
,
Maksim Jenihhin
,
Anton Chepurov
,
Raimund Ubar
,
Giuseppe Di Guglielmo
,
Franco Fummi
Mutation analysis with high-level decision diagrams.
LATW
(2010)
Maksim Jenihhin
,
Jaan Raik
,
Anton Chepurov
,
Uljana Reinsalu
,
Raimund Ubar
High-Level Decision Diagrams based coverage metrics for verification and test.
LATW
(2009)
Maksim Jenihhin
,
Jaan Raik
,
Anton Chepurov
,
Raimund Ubar
PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams.
J. Electron. Test.
25 (6) (2009)
Maksim Jenihhin
,
Jaan Raik
,
Anton Chepurov
,
Raimund Ubar
Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation.
ETS
(2008)