Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference

Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference

Bibliographic Details
Format:	Electronic Book
Language:	English
Published:	Association for Computing Machinery (ACM), 11/9/18
Subjects:	Conference papers and proceedings.
Online Access:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Similar Items

Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems

Proceedings of the 1st ACM SIGSOFT International Workshop on Software Engineering and Digital Forensics

Proceedings of the 1st ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering

Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems

Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software

Proceedings of the 1st ACM SIGSOFT International Workshop on Languages and Tools for Next-Generation Testing

Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing

Proceedings of the 1st ACM SIGSOFT International Workshop on Representation Learning for Software Engineering and Program Languages

Proceedings of the 1st International Workshop on Real World Domain Specific Languages

Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence

Empirical Inference
Published: (2013)

Proceedings of the ACM Conference on Health, Inference, and Learning

Proceedings of the 2009 Workshop on Applied Textual Inference

Proceedings of the First International Workshop on Model Inference In Testing

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs

Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

Proceedings of the 1st workshop on Automated control for datacenters and clouds

Proceedings of the 1st ACM workshop on Workshop on AISec

Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation

Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation

Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation

Proceedings of the 1st International Workshop on Automated Incident Management in Cloud

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages

Gene Network Inference
Published: (2013)

Essential Statistical Inference
by: Boos
Published: (2013)

Inference for Diffusion Processes
by: Fuchs
Published: (2013)

The Mathematics of Coordinated Inference
by: Hardin
Published: (2013)

The Foundations of Scientific Inference
by: Salmon

Large-Scale Inference
by: Bradley Efron
Published: (2013)

Probability and statistical inference /
by: Hogg, Robert V.
Published: (2006)

Proceedings of the TextInfer 2011 Workshop on Textual Entailment

Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test

Proceedings of the Conference on Health, Inference, and Learning

Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics

Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics

Proceedings of the 1st ACM workshop on Wireless security

Proceedings of the 1st ACM international workshop on Multimedia databases

Proceedings of the 1st ACM international workshop on Connected multimedia

Proceedings of the 1st ACM international workshop on Events in multimedia