Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
| Format: | Électronique eBook |
|---|---|
| Langue: | anglais |
| Publié: |
Association for Computing Machinery (ACM),
5/31/14
|
| Sujets: | |
| Accès en ligne: | Full text available on Research4Life (ACM) |
Documents similaires
Constraints
Proceedings of the symposium on Testing, analysis, and verification
Power without Constraint
par: Edelson
par: Edelson
Proceedings of the 6th International Workshop on Automation of Software Test
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
Five Constraints on Predicting Behavior
par: Kagan
par: Kagan
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
The Optomechanical Constraint Equations: Theory and Applications
par: Hatheway, Alson E.
par: Hatheway, Alson E.
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 6th International Workshop on Requirements Engineering and Testing
Proceedings of the First International Workshop on Multimedia Verification
Proceedings of the 6th International Workshop on Software Clones
Proceedings of the 6th international workshop on Software quality
Proceedings of the 6th international workshop on Software and performance
Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Proceedings of the 1st International Workshop on Gamification of Software Development, Verification, and Validation
Proceedings of the 2nd International Workshop on Gamification in Software Development, Verification, and Validation
Proceedings of the 6th Brazilian Symposium on Systematic and Automated Software Testing
Proceedings of the 13th International Workshop on Automation of Software Test
Proceedings of the 7th International Workshop on Automation of Software Test
Proceedings of the 8th International Workshop on Automation of Software Test
Proceedings of the 12th International Workshop on Automation of Software Testing
Proceedings of the 10th International Workshop on Automation of Software Test
Proceedings of the 14th International Workshop on Automation of Software Test
Proceedings of the 9th International Workshop on Automation of Software Test
Proceedings of the 11th International Workshop on Automation of Software Test
Proceedings of the 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging
Proceedings of the 6th international workshop on Software specification and design
Proceedings of the 6th international workshop on Hardware/software codesign
Proceedings of the 6th International Workshop on Modeling in Software Engineering
Proceedings of the 6th International Workshop on Social Software Engineering
Proceedings of the 6th International Workshop on Green and Sustainable Software
Proceedings of the 6th international workshop on Software engineering and middleware
Proceedings of the 5th Workshop on Automation of Software Test
Proceedings of the 25th International Symposium on Software Testing and Analysis
Proceedings of the 19th international symposium on Software testing and analysis