Tests and Proofs
暂无分享,去创建一个
[1] Robert M. Hierons,et al. Implementation relations and probabilistic schedulers in the distributed test architecture , 2017, J. Syst. Softw..
[2] Mariëlle Stoelinga,et al. Divergent Quiescent Transition Systems , 2013, TAP@STAF.
[3] Herbert Kuchen,et al. Dynamic Solution of Linear Constraints for Test Case Generation , 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
[4] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.
[5] Premkumar T. Devanbu,et al. Static checking of dynamically generated queries in database applications , 2004, Proceedings. 26th International Conference on Software Engineering.
[6] Robert M. Hierons,et al. Testing Probabilistic Distributed Systems , 2010, FMOODS/FORTE.
[7] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[8] Joost-Pieter Katoen,et al. Efficient Modelling and Generation of Markov Automata , 2012, CONCUR.
[9] Herbert Kuchen,et al. Automated Test Case Generation Based on Coverage Analysis , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
[10] Stavros Tripakis,et al. Conformance testing for real-time systems , 2009, Formal Methods Syst. Des..
[11] Kim G. Larsen,et al. Testing Real-Time Systems Using UPPAAL , 2008, Formal Methods and Testing.
[12] Sebastian Thrun,et al. Probabilistic robotics , 2002, CACM.
[13] Yi Zhang,et al. MODA: automated test generation for database applications via mock objects , 2010, ASE '10.
[14] Terence Parr,et al. The Definitive ANTLR 4 Reference , 2013 .
[15] Krzysztof Kuchcinski,et al. JaCoP - Java Constraint Programming Solver , 2013, CP 2013.
[16] Margus Veanes,et al. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.
[17] Frits W. Vaandrager,et al. Root Contention in IEEE 1394 , 1999, ARTS.
[18] Rupak Majumdar,et al. Dynamic test input generation for database applications , 2007, ISSTA '07.
[19] Cyrille Jégourel,et al. A Platform for High Performance Statistical Model Checking - PLASMA , 2012, TACAS.
[20] Lijun Zhang,et al. Late Weak Bisimulation for Markov Automata , 2012, ArXiv.
[21] Hassan Aït-Kaci,et al. Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .
[22] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .
[23] I. S. W. B. Prasetya. T3i: a tool for generating and querying test suites for Java , 2015, ESEC/SIGSOFT FSE.
[24] James C. King,et al. Symbolic execution and program testing , 1976, CACM.
[25] Mariëlle Stoelinga,et al. Alea jacta est : verification of probabilistic, real-time and parametric systems , 2002 .
[26] Erik Poll,et al. Model-Based Testing of Electronic Passports , 2009, FMICS.
[27] R. Moore,et al. Explicit modelling of state occupancy in hidden Markov models for automatic speech recognition , 1985, ICASSP '85. IEEE International Conference on Acoustics, Speech, and Signal Processing.
[28] Marta Z. Kwiatkowska,et al. Stochastic Model Checking , 2007, SFM.
[29] Holger Hermanns,et al. The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification , 2014, TACAS.
[30] Martin L. Puterman,et al. Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .
[31] Gordon Fraser,et al. EvoSuite: automatic test suite generation for object-oriented software , 2011, ESEC/FSE '11.
[32] Jan Tretmans,et al. Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.
[33] Marta Z. Kwiatkowska,et al. PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.
[34] Robert M. Hierons,et al. Mutation testing from probabilistic and stochastic finite state machines , 2009, J. Syst. Softw..
[35] James Demmel,et al. Global minimization of rational functions and the nearest GCDs , 2006, J. Glob. Optim..
[36] Andrea Martelli,et al. MaTeLo: Automated Testing Suite for Software Validation , 2003 .
[37] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[38] Holger Hermanns,et al. Interactive Markov Chains , 2002, Lecture Notes in Computer Science.
[39] Yann-Gaël Guéhéneuc,et al. Instance Generator and Problem Representation to Improve Object Oriented Code Coverage , 2015, IEEE Transactions on Software Engineering.
[40] Michael D. Ernst,et al. Feedback-Directed Random Test Generation , 2007, 29th International Conference on Software Engineering (ICSE'07).
[41] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[42] K. Larsen,et al. Online Testing of Real-time Systems Using Uppaal , 2004, FATES.
[43] Ana R. Cavalli,et al. Testing a probabilistic FSM using interval estimation , 2010, Comput. Networks.
[44] Gordon Fraser,et al. Java Enterprise Edition Support in Search-Based JUnit Test Generation , 2016, SSBSE.