Cornelia P. Inggs

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 1

Top Topics

Object Oriented Systems

Alpha Beta Search

Generation Algorithm

Test Case Generation

Top Venues

Publications

Cornelia P. Inggs, Taun Gadd, Justin Giffard
Learning Concurrency Concepts while Playing Games. CSEDU (1) (2017)
Willem Bester, Cornelia P. Inggs, W. C. Visser
Test-case generation and bug-finding through symbolic execution. SAICSIT (2012)
Jean Fourie, Jaco Geldenhuys, Cornelia P. Inggs
Improving communication for distributed model checking. SAICSIT (2012)
G. C. Morrison, Cornelia P. Inggs, W. C. Visser
Automated coverage calculation and test case generation. SAICSIT (2012)
Francois van Niekerk, Gert-Jan van Rooyen, Steve Kroon, Cornelia P. Inggs
Monte-Carlo tree search parallelisation for computer go. SAICSIT (2012)
Cornelia P. Inggs, Howard Barringer
model checking on a shared-memory architecture. Formal Methods Syst. Des. 29 (2) (2006)
Cornelia P. Inggs, Howard Barringer
Model Checking on a Shared-Memory Architecture. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Cornelia P. Inggs, Howard Barringer
Effective State Exploration for Model Checking on a Shared Memory Architecture. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)