AUnit - a testing framework for alloy
Writing declarative models of software designs and analyzing them to detect defects is an effective methodology for developing more dependable software systems. However, writing such models correctly can be challenging for practitioners who may not be proficient in declarative programming, and thei...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/26426 |