Finding errors in multithreaded GUI applications
暂无分享,去创建一个
[1] Benjamin Livshits,et al. Reflection Analysis for Java , 2005, APLAS.
[2] Grigore Rosu,et al. Improved multithreaded unit testing , 2011, ESEC/FSE '11.
[3] Myra B. Cohen,et al. Repairing GUI Test Suites Using a Genetic Algorithm , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.
[4] Michael Burrows,et al. Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.
[5] Alexander Aiken,et al. Effective static race detection for Java , 2006, PLDI '06.
[6] Atif M. Memon,et al. Using GUI Run-Time State as Feedback to Generate Test Cases , 2007, 29th International Conference on Software Engineering (ICSE'07).
[7] Jeff Huang,et al. Persuasive prediction of concurrency access anomalies , 2011, ISSTA '11.
[8] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[9] Étienne Payet,et al. Static Analysis of Android Programs , 2011, CADE.
[10] Michael D. Ernst,et al. Combined static and dynamic automated test generation , 2011, ISSTA '11.
[11] Mira Mezini,et al. Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[12] David F. Bacon,et al. Fast static analysis of C++ virtual function calls , 1996, OOPSLA '96.
[13] David Grove,et al. Call graph construction in object-oriented languages , 1997, OOPSLA '97.
[14] Corina S. Pasareanu,et al. Symbolic execution with mixed concrete-symbolic solving , 2011, ISSTA '11.
[15] David Notkin,et al. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution , 2005, TACAS.
[16] Michael D. Ernst,et al. Building and using pluggable type-checkers , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[17] Myra B. Cohen,et al. GUI Interaction Testing: Incorporating Event Context , 2011, IEEE Transactions on Software Engineering.
[18] Thomas W. Reps,et al. Precise interprocedural dataflow analysis via graph reachability , 1995, POPL '95.
[19] Mauro Pezzè,et al. Automated GUI refactoring and test script repair , 2011, ETSE '11.
[20] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[21] Tao Xie,et al. Helping users avoid bugs in GUI applications , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..