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

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

Dettagli Bibliografici
Natura:	Elettronico Libro
Lingua:	English
Pubblicazione:	Association for Computing Machinery (ACM), 11/9/18
Soggetti:	Conference papers and proceedings.
Accesso online:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Documenti analoghi

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

Empirical Inference
Pubblicazione: (2013)

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

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

Proceedings of the 2009 Workshop on Applied Textual Inference

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

Proceedings of the First International Workshop on Model Inference In Testing

Gene Network Inference
Pubblicazione: (2013)

Essential Statistical Inference
di: Boos
Pubblicazione: (2013)

Inference for Diffusion Processes
di: Fuchs
Pubblicazione: (2013)

The Mathematics of Coordinated Inference
di: Hardin
Pubblicazione: (2013)

The Foundations of Scientific Inference
di: Salmon

Large-Scale Inference
di: Bradley Efron
Pubblicazione: (2013)

Probability and statistical inference /
di: Hogg, Robert V.
Pubblicazione: (2006)

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

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 International Workshop on Automated Incident Management in Cloud

Proceedings of the TextInfer 2011 Workshop on Textual Entailment

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 Conference on Health, Inference, and Learning

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

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