Model based testing for agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A proposal of a process model to create a test factory
WOSQ'09 Proceedings of the Seventh ICSE conference on Software quality
Automated testing for intelligent agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Optimizing cost and quality by integrating inspection and test processes
Proceedings of the 2011 International Conference on Software and Systems Process
A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
Enabling automated integration testing of cloud application services in virtualized environments
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
A semantic translation method for data communication protocols
Journal of Systems and Software
Model-Based static code analysis for MATLAB models
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A keyword-driven approach for generating OWL DL conformance test data
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
From the Publisher:This book details program analyses and transformations that extract the flow of data in computer memory systems. It emphasizes a framework for the optimization of code for imperative programs and greater computer systems efficiency. In addition, it shows that correctness of program transformations is guaranteed by the conservation of data flow.Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.