Concolic test generation for PLC programs using coverage metrics
Year: 2016
Type: conference-paper
Authors: Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann
Institutions: RWTH Aachen University, ABB (Germany)
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2440985157
