Publication | Open Access
Goal-oriented test data generation for pointer programs
15
Citations
31
References
2006
Year
EngineeringComputational TestingProgram AnalysisSoftware TestingComputer EngineeringSoftware AnalysisSoftware EngineeringFormal MethodsPointer ProgramsTest Data GenerationComputer ScienceFormal VerificationSymbolic ExecutionSystem SoftwareTest Generation
| Year | Citations | |
|---|---|---|
Page 1
Page 1