![](bga.png)
REFERENCES
Brucker, A. D. and Doser, J. (2007). Metamodel-based
UML Notations for Domain-specific Languages. In
Favre, J. M., Gasevic, D., L
¨
ammel, R., and Winter, A.,
editors, 4th International Workshop on Software Lan-
guage Engineering (ATEM 2007). Nashville, USA.
Cabot, J. and Gogolla, M. (2012). Object constraint lan-
guage (OCL): a definitive guide. In Proceedings of the
12th international conference on Formal Methods for
the Design of Computer, Communication, and Soft-
ware Systems: formal methods for model-driven en-
gineering, SFM’12, pages 58–90, Berlin, Heidelberg.
Springer-Verlag.
Constantine, L. (2003). Canonical Abstract Prototypes for
Abstract Visual and Interaction Design. In Interac-
tive Systems. Design, Specification, and Verification,
volume 2844 of LNCS, pages 1–15. Springer-Verlag,
Berlin/Heidelberg.
Cook, S., Jones, G., Kent, S., and Wills, A. (2007). Domain-
Specific Development with Visual Studio DSL Tools.
Addison-Wesley Professional, first edition.
Cunha, M., Paiva, A. C. R., Sereno Ferreira, H., and Abreu,
R. (2010). PETTool: A Pattern-Based GUI Testing
Tool. In 2nd International Conference on Software
Technology and Engineering (ICSTE’10), SFM’12,
pages 202–206.
Fowler, M. (2010). Domain Specific Languages. Addison-
Wesley Professional, 1st edition.
Grandite (2008). Open Modelsphere – Free
Modeling Software Open Source GPL.
http://www.modelsphere.org/. Accessed January,
2013.
Gronback, R. C. and Boldt, N. (2013). Graphical Modeling
Framework. http://www.eclipse.org/modeling/gmp.
Accessed April, 2013.
Jackson, D. (2011). Software Abstractions: Logic, Lan-
guage, and Analysis. MIT Press; 2nd Revised edition.
Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schneider,
M., and Vlkel, S. (2009). Design Guidelines for Do-
main Specific Languages. In Rossi, M., Sprinkle, J.,
Gray, J., and Tolvanen, J.-P., editors, Proceedings of
the 9th OOPSLA Workshop on Domain-Specific Mod-
eling (DSM’09), pages 7–13.
Memon, A. M., Soffa, M. L., and Pollack, M. E. (2001).
Coverage Criteria for GUI Testing. In In Proceedings
of the 8th European Software Engineering Conference
(ESEC) and 9th ACM SIGSOFT International Sym-
posium on the Foundations of Software Engineering
(FSE-9), pages 256–267. ACM Press.
Microsoft (2012). Model-based Testing
with SpecExplorer - Microsoft Re-
search. http://research.microsoft.com/en-
us/projects/specexplorer/. Accessed February,
2012.
Microsoft (2013). Spec# - Microsoft Re-
search. http://research.microsoft.com/en-
us/projects/specsharp/. Accessed January, 2013.
Monteiro, T. and Paiva, A. C. R. (2013). Pattern Based GUI
Testing Modeling Environment. In ICST Workshops,
pages 140–143.
Moody, D. (2007). What Makes a Good Diagram? Im-
proving the Cognitive Effectiveness of Diagrams in
IS Development. In Wojtkowski, W., Wojtkowski,
W., Zupancic, J., Magyar, G., and Knapp, G., editors,
Advances in Information Systems Development, pages
481–492. Springer US.
Moreira, R. M. L. M. and Paiva, A. C. R. (2008). Vi-
sual Abstract Notation for GUI Modelling and Test-
ing – VAN4GUIM. In Cordeiro, J., Shishkov,
B., Ranchordas, A., and Helfert, M., editors,
ICSOFT (SE/MUSE/GSDCA), pages 104–111. IN-
STICC Press.
Moreira, R. M. L. M., Paiva, A. C. R., and Memon, A.
(2013). A Pattern-Based Approach for GUI Modeling
and Testing. In Proceedings of the 24th International
Symposium on Software Reliability Engineering, IS-
SRE’13, Pasadena, CA, USA. IEEE Computer Soci-
ety.
Paiva, A., Faria, J. C. P., and Vidal, R. F. A. M. (2003).
Specification-Based Testing of User Interfaces. In In-
teractive Systems. Design, Specification, and Verifi-
cation, 10th International Workshop, volume 2844 of
LNCS, pages 139–153. Springer.
Paiva, A. C., Faria, J. C., Tillmann, N., and Vidal, R. A.
(2005). A Model-to-Implementation Mapping Tool
for Automated Model-Based GUI Testing. In Lau,
K.-K. and Banach, R., editors, Formal Methods and
Software Engineering, volume 3785 of LNCS, pages
450–464. Springer Berlin Heidelberg.
Patern
`
o, F., Mancini, C., and Meniconi, S. (1997). Concur-
TaskTrees: A Diagrammatic Notation for Specifying
Task Models. In Proceedings of the IFIP TC13 In-
ternational Conference on Human-Computer Interac-
tion, INTERACT ’97, pages 362–369, London, UK,
UK. Chapman & Hall, Ltd.
Rubel, D., Wren, J., and Clayberg, E. (2011). The Eclipse
Graphical Editing Framework (GEF). Addison-
Wesley Professional, 1st edition.
Runeson, P. and H
¨
ost, M. (2009). Guidelines for conduct-
ing and reporting case study research in software engi-
neering. Empirical Software Engineering, 14(2):131–
164.
StarUML (2005). Staruml – The Open Source UML/MDA
Platform. http://staruml.sourceforge.net/en/. Ac-
cessed January, 2013.
Steinberg, D., Budinsky, F., Paternostro, M., and Merks,
E. (2009). EMF: Eclipse Modeling Framework 2.0.
Addison-Wesley Professional, 2nd edition.
Strembeck, M. and Zdun, U. (2009). An approach for
the systematic development of domain-specific lan-
guages. Softw. Pract. Exper., 39(15):1253–1292.
AGUIModelingDSLforPattern-BasedGUITesting-PARADIGM
135