C/C++ Conditional Compilation Analysis using Symbolic Execution

Ying Hu, Ettore Merlo, Michel Dagenais, Bruno Laguë. C/C++ Conditional Compilation Analysis using Symbolic Execution. In ICSM. pages 196-206, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.