Publication | Closed Access
Debugging model-transformation failures using dynamic tainting
17
Citations
15
References
2010
Year
Software MaintenanceEngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationFormal MethodsSystems EngineeringDynamic TaintingComputer ScienceDebuggerStatic Program AnalysisSoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1