Tag #model inference
14 papers:
SANER-2019-YangASLHCS #industrial #learning- Improving Model Inference in Industry by Combining Active and Passive Learning (NY, KA, RRHS, LL, DH, LC, AS), pp. 253–263.
ASE-2019-BusanyMY - Size and Accuracy in Model Inference (NB, SM, YY), pp. 887–898.
TAP-2016-FelbingerPW #effectiveness #testing- Classifying Test Suite Effectiveness via Model Inference and ROBBDs (HF, IP, FW), pp. 76–93.
ICST-2015-Felbinger #assessment #quality #testing #using- Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
- CSMR-WCRE-2014-BuchlerHMMGO #security #testing
- Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
SPLC-2014-VacchiCCA #automation #component #implementation #variability- Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
- ASE-2014-OhmannHFHPBB #behaviour #resource management
- Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
- ICST-2012-DucheneGRR #detection #fuzzing #using
- XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing (FD, RG, SR, JLR), pp. 815–817.
ICSE-2010-KrkaBPGM #behaviour #execution #invariant #using- Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
KDD-2009-YaoMM #documentation #performance #streaming #topic- Efficient methods for topic model inference on streaming document collections (LY, DMM, AM), pp. 937–946.
ESEC-FSE-2009-LoMP #automation #behaviour- Automatic steering of behavioral model inference (DL, LM, MP), pp. 345–354.
WCRE-2007-SinhaRK #parametricity #process- Parametric Process Model Inference (SS, GR, RK), pp. 21–30.
TAPSOFT-1995-BertO #specification- A Model Inference System for Generic Specification with Application to Code Sharing (DB, CO), pp. 741–755.
ICLP-1986-Huntbach86 - An Improvised Version of Shapiro’s Model Inference System (MMH), pp. 180–187.
