Project Areas Include:
Test Method Research
Developing new test methods to automatically generate tests and improve testing coverage to specifications. Focus
is on using formal methods.
Computer Forensics Tool Testing
Developing methods, tests, and tools for specifying and testing requirements of forensic analysis tools.
Healthcare Systems, eHealth
Developing integration profiles along with developing tests, tools and prototypes to achieve integrated
electronic health information environments.