A study of learning likely data structure properties using machine learning models
- 1 October 2020
- journal article
- research article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 22 (5) , 601-615
Abstract
No abstract availableKeywords
This publication has 52 references indexed in Scilit:
- The Daikon system for dynamic detection of likely invariantsScience of Computer Programming, 2007
- Non-linear loop invariant generation using Gröbner basesACM SIGPLAN Notices, 2004
- Automatic detection and repair of errors in data structuresACM SIGPLAN Notices, 2003
- KoratACM SIGSOFT Software Engineering Notes, 2002
- Finding bugs with a constraint solverACM SIGSOFT Software Engineering Notes, 2000
- A Decision-Theoretic Generalization of On-Line Learning and an Application to BoostingJournal of Computer and System Sciences, 1997
- Comparison of regularized discriminant analysis linear discriminant analysis and quadratic discriminant analysis applied to NIR dataAnalytica Chimica Acta, 1996
- Multilayer perceptrons for classification and regressionNeurocomputing, 1991
- Automated software test data generationIEEE Transactions on Software Engineering, 1990
- A Stochastic Approximation MethodThe Annals of Mathematical Statistics, 1951