3
Publications
130
Citations
3
H-Index
2001
Active since
Affiliations
Kris Parker is an author at Murdoch University specializing in software testing, formal verification, and software engineering.
Top concepts
EngineeringVerificationSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringFormal MethodsSystem Software
Publications per year
2001–2004
3
3
Software component certification
John Morris, G. Lee, Kris Parker et al. · Computer · 2001 · 72 citations
A software component verification tool
G.A. Bundell, G. Lee, John Morris et al. · 2002 · 33 citations
Using symbolic execution to guide test generation
Gareth Lee, John Morris, Kris Parker et al. · Software Testing Verification and Reliability · 2004 · 25 citations
Rows per page
1–3 of 3