WhyLine

swMATH38508MaRDI QIDQ54208FDOQ54208

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/abs/10.1145/985692.985712

Cited In (15)

• CompoSAT: specification-guided coverage for model finding
• BYTESURGEON
• Squeak
• Alloy*
• GZoltar
• Runtime bytecode transformation for Smalltalk
• Bordeaux
• CD2Alloy
• cddiff
• CompoSAT
• VERMEER
• Whispec
• CharmFL
• coverage.py
• PinPoint

This page was built for software: WhyLine