Juha Kuronen

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 2

Top Topics

Formal Specification

Test Case Generation

Top Venues

Publications

Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. CoRR (2021)
Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. ICECCS (2015)