REFERENCES
Aho, P., Suarez, M., Kanstren, T., and Memon, A. (2013).
Industrial adoption of automatically extracted GUI
models for testing. In Proceedings of the 3rd Interna-
tional Workshop on Experiences and Empirical Stud-
ies in Software Modelling. Springer Inc.
Aho, P., Suarez, M., Kanstren, T., and Memon, A. (2014).
Murphy tools: Utilizing extracted gui models for in-
dustrial software testing. In The Proceedings of the
Testing: Academic & Industrial Conference (TAIC-
PART). IEEE Computer Society.
Amalfitano, D., Fasolino, A. R., Tramontana, P., Ta, B. D.,
and Memon, A. M. (2014). Mobiguitar – a tool for
automated model-based testing of mobile apps. IEEE
Software.
Arlt, S., Banerjee, I., Bertolini, C., Memon, A. M., and
Schaf, M. (2012). Grey-box gui testing: Efficient
generation of event sequences. Computing Research
Repository, abs/1205.4928.
Chiba, S. (2004). Javassist: Java bytecode engineering
made simple. Java Developer Journal.
Cooper, G. (2012). Dtrace: Dynamic tracing in Oracle So-
laris, Mac OS X, and Free BSD. SIGSOFT Softw. Eng.
Notes, 37(1):34–34.
Froglogic, G. (2015). http://doc.froglogic.com/squish/.
Hou, D. and Wang, Y. (2009). An empirical analysis of the
evolution of user-visible features in an integrated de-
velopment environment. In Proceedings of the 2009
Conference of the Center for Advanced Studies on
Collaborative Research, CASCON ’09, pages 122–
135, New York, NY, USA. ACM.
JETracer (2015). https://bitbucket.org/arthur486/jetracer.
Ko, A. J. and Myers, B. A. (2010). Extracting and answer-
ing why and why not questions about java program
output. ACM Trans. Softw. Eng. Methodol., 20(2):4:1–
4:36.
Krutz, D. E., Malachowsky, S. A., and Reichlmayr, T.
(2014). Using a real world project in a software test-
ing course. In Proceedings of the 45th ACM Technical
Symposium on Computer Science Education, SIGCSE
’14, pages 49–54, New York, NY, USA. ACM.
Maalej, W., Tiarks, R., Roehm, T., and Koschke, R. (2014).
On the comprehension of program comprehension.
ACM Trans. Softw. Eng. Methodol., 23(4):31:1–31:37.
McMaster, S. and Memon, A. M. (2009). An extensible
heuristic-based framework for gui test case mainte-
nance. In Proceedings of the IEEE International Con-
ference on Software Testing, Verification, and Vali-
dation Workshops, pages 251–254, Washington, DC,
USA. IEEE Computer Society.
Memon, A., Banerjee, I., Nguyen, B., and Robbins, B.
(2013). The first decade of gui ripping: Extensions,
applications, and broader impacts. In Proceedings of
the 20th Working Conference on Reverse Engineering
(WCRE). IEEE Press.
Memon, A. M. (2001). A comprehensive framework for
testing graphical user interfaces. PhD thesis.
Memon, A. M. and Cohen, M. B. (2013). Automated test-
ing of gui applications: models, tools, and controlling
flakiness. In Proceedings of the 2013 International
Conference on Software Engineering, ICSE ’13, pages
1479–1480, Piscataway, NJ, USA. IEEE Press.
Molnar, A. (2012). jSET - Java Software Evolution Tracker.
In KEPT-2011 Selected Papers. Presa Universitara
Clujeana, ISSN 2067-1180.
Nedyalkova, S. and Bernardino, J. (2013). Open source cap-
ture and replay tools comparison. In Proceedings of
the International C* Conference on Computer Science
and Software Engineering, C3S2E ’13, pages 117–
119, New York, NY, USA. ACM.
Nethercote, N. and Seward, J. (2007). Valgrind: A frame-
work for heavyweight dynamic binary instrumenta-
tion. In Proceedings of the 2007 ACM SIGPLAN Con-
ference on Programming Language Design and Im-
plementation, PLDI ’07, pages 89–100, New York,
NY, USA. ACM.
Newsome, J. (2005). Dynamic taint analysis for automatic
detection, analysis, and signature generation of ex-
ploits on commodity software. In Internet Society.
Nguyen, B. N., Robbins, B., Banerjee, I., and Memon, A.
(2013). Guitar: an innovative tool for automated test-
ing of gui-driven software. Automated Software Engi-
neering, pages 1–41.
Northover, S. and Wilson, M. (2004). SWT: The Standard
Widget Toolkit, Volume 1. Addison-Wesley Profes-
sional, first edition.
Oracle, C. (2013). Advanced Java Diagnostics and Monitor-
ing Without Performance Overhead. Technical report.
Perkins, J. H. and Ernst, M. D. (2004). Efficient incremental
algorithms for dynamic detection of likely invariants.
SIGSOFT Softw. Eng. Notes, 29(6):23–32.
Reiss, S. P. and Renieris, M. (2005). Jove: Java as it hap-
pens. In Proceedings of the 2005 ACM Symposium on
Software Visualization, SoftVis ’05, pages 115–124,
New York, NY, USA. ACM.
Ruiz, A. and Price, Y. W. (2007). Test-driven gui develop-
ment with testng and abbot. IEEE Softw., 24(3):51–57.
Silva, J. a. C., Silva, C., Gonc¸alo, R. D., Saraiva, J. a., and
Campos, J. C. (2010). The GUISurfer Tool: Towards
a Language Independent Approach to Reverse Engi-
neering GUI Code. In Proceedings of EICS 2010,
pages 181–186, New York, NY, USA. ACM.
van der Merwe, H., van der Merwe, B., and Visser, W.
(2014). Execution and property specifications for jpf-
android. SIGSOFT Softw. Eng. Notes, 39(1):1–5.
Yuan, X., Cohen, M. B., and Memon, A. M. (2011). Gui in-
teraction testing: Incorporating event context. IEEE
Transactions on Software Engineering, 37(4):559–
574.
Yuan, X. and Memon, A. M. (2010). Generating event
sequence-based test cases using gui run-time state
feedback. IEEE Transactions on Software Engineer-
ing, 36(1).
ENASE2015-10thInternationalConferenceonEvaluationofNovelSoftwareApproachestoSoftwareEngineering
214