Skip to content

The source code and the traces used in "Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis" paper by Elena Sherman, Brady J. Garvin, Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol)

BoiseState/TPO-DP

About

The source code and the traces used in "Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis" paper by Elena Sherman, Brady J. Garvin, Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages