https://github.com/abhiroop/qc-ifc

QuickCheck IFC
https://github.com/abhiroop/qc-ifc

Last synced: about 1 month ago
JSON representation

QuickCheck IFC

• Host: GitHub
• URL: https://github.com/abhiroop/qc-ifc
• Owner: Abhiroop
• Created: 2024-01-11T23:56:06.000Z (12 months ago)
• Default Branch: master
• Last Pushed: 2024-07-19T19:43:59.000Z (5 months ago)
• Last Synced: 2024-07-20T00:47:07.379Z (5 months ago)
• Language: Haskell
• Size: 17.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md

Awesome Lists containing this project

README

        
# qc-ifc

Implementing the paper [Testing Noninterference, Quickly](https://arxiv.org/abs/1409.0393)

### Sources of inspiration

- [Hypertesting - Hotspot 2015](https://www.plai.ifi.lmu.de/publications/hotspot15-hypertesting.pdf)

- [Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer - 2023](https://arxiv.org/pdf/2308.09081)

- [Hypertesting of Programs: Theoretical Foundation and Automated Test Generation - ICSE 2024](https://dl.acm.org/doi/pdf/10.1145/3597503.3640323)