Anton Chepurov

According to our database, Anton Chepurov authored at least 5 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Automated design error debug using high-level decision diagrams and mutation operators.

Jaan Raik, Urmas Repinski, Anton Chepurov, Hanno Hantson, Raimund Ubar, Maksim Jenihhin

Microprocess. Microsystems, 2013

2010

Mutation analysis with high-level decision diagrams.

Hanno Hantson, Jaan Raik, Maksim Jenihhin, Anton Chepurov, Raimund Ubar, Giuseppe Di Guglielmo, Franco Fummi

Proceedings of the 11th Latin American Test Workshop, 2010

2009

PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams.

Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar

J. Electron. Test., 2009

High-Level Decision Diagrams based coverage metrics for verification and test.

Maksim Jenihhin, Jaan Raik, Anton Chepurov, Uljana Reinsalu, Raimund Ubar

Proceedings of the 10th Latin American Test Workshop, 2009

2008

Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation.

Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar

Proceedings of the 13th European Test Symposium, 2008