-
2
-
-
56149124049
-
Using a pilot study to derive a gui model for automated testing
-
Q. Xie and A.M. Memon, "Using a Pilot Study to Derive a GUI Model for Automated Testing," ACM Trans. Software Eng. and Methodology, vol. 18, pp. 1-35, 2008.
-
(2008)
ACM Trans. Software Eng. and Methodology
, vol.18
, pp. 1-35
-
-
Xie, Q.1
Memon, A.M.2
-
3
-
-
30344472992
-
Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software
-
DOI 10.1109/TSE.2005.117
-
A.M. Memon and Q. Xie, "Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software," IEEE Trans. Software Eng., vol. 31, no. 10, pp. 884-896, Oct. 2005. (Pubitemid 43065751)
-
(2005)
IEEE Transactions on Software Engineering
, vol.31
, Issue.10
, pp. 884-896
-
-
Memon, A.M.1
Xie, Q.2
-
4
-
-
15844396470
-
Using transient/persistent errors to develop automated test oracles for event-driven software
-
Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004
-
A.M. Memon and Q. Xie, "Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software," Proc. 19th IEEE Int'l Conf. Automated Software Eng., pp. 186-195, 2004. (Pubitemid 40423543)
-
(2004)
Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004
, pp. 186-195
-
-
Memon, A.1
Xie, Q.2
-
5
-
-
79960861982
-
Developing testing techniques for event-driven pervasive computing applications
-
Oct
-
A.M. Memon, "Developing Testing Techniques for Event-Driven Pervasive Computing Applications," Proc. Object-Oriented Programming, Systems, Languages, and Applications Workshop Building Software for Pervasive Computing, Oct. 2004.
-
(2004)
Proc. Object-Oriented Programming, Systems, Languages, and Applications Workshop Building Software for Pervasive Computing
-
-
Memon, A.M.1
-
6
-
-
23744507600
-
TorX: Automated model-based testing
-
Dec
-
G.J. Tretmans and H. Brinksma, "TorX: Automated Model-Based Testing," Proc. First European Conf. Model-Driven Software Eng., A. Hartman and K. Dussa-Ziegler, eds., pp. 31-43, Dec. 2003.
-
(2003)
Proc. First European Conf. Model-Driven Software Eng., A. Hartman and K. Dussa-Ziegler, eds
, pp. 31-43
-
-
Tretmans, G.J.1
Brinksma, H.2
-
7
-
-
43049143056
-
Model-based testing of object-oriented reactive systems with spec explorer
-
DOI 10.1007/978-3-540-78917-8-2, Formal Methods and Testing - An Outcome of the FORTEST Network, Revised Selected Papers
-
M. Veanes, C. Campbell, W. Grieskamp, W. Schulte, N. Tillmann, and L. Nachmanson, "Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer," Formal Methods and Testing, pp. 39-76, Springer, 2008. (Pubitemid 351632160)
-
(2008)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4949
, pp. 39-76
-
-
Veanes, M.1
Campbell, C.2
Grieskamp, W.3
Schulte, W.4
Tillmann, N.5
Nachmanson, L.6
-
8
-
-
0026141382
-
A test sequence selection method for protocol testing
-
Apr
-
H. Ural and B. Yang, "A Test Sequence Selection Method for Protocol Testing," IEEE Trans. Comm., vol. 39, no. 4, pp. 514-523, Apr. 1991.
-
(1991)
IEEE Trans. Comm
, vol.39
, Issue.4
, pp. 514-523
-
-
Ural, H.1
Yang, B.2
-
10
-
-
0038681903
-
Generating test data from state-based specifications
-
J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, "Generating Test Data from State-Based Specifications," The J. Software Testing, Verification and Reliability, vol. 13, no. 1, pp. 25-53, 2003.
-
(2003)
The J. Software Testing, Verification and Reliability
, vol.13
, Issue.1
, pp. 25-53
-
-
Offutt, J.1
Liu, S.2
Abdurazik, A.3
Ammann, P.4
-
11
-
-
67650101816
-
An initial characterization of industrial graphical user interface systems
-
P. Brooks, B. Robinson, and A.M. Memon, "An Initial Characterization of Industrial Graphical User Interface Systems," Proc. First IEEE Int'l Conf. Software Testing, Verification and Validation, 2009.
-
(2009)
Proc. First IEEE Int'l Conf. Software Testing, Verification and Validation
-
-
Brooks, P.1
Robinson, B.2
Memon, A.M.3
-
13
-
-
0035783706
-
Coverage criteria for GUI testing
-
A.M. Memon, M.L. Soffa, and M.E. Pollack, "Coverage Criteria for GUI Testing," Proc. European Software Eng. Conf./Foundations of Software Eng., pp. 256-267, 2001. (Pubitemid 35466930)
-
(2001)
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
, pp. 256-267
-
-
Memon, A.M.1
Soffa, M.L.2
Pollack, M.E.3
-
14
-
-
0031354777
-
Software unit test coverage and adequacy
-
H. Zhu, P.A.V. Hall, and J.H.R. May, "Software Unit Test Coverage and Adequacy," ACM Computing Surveys, vol. 29, no. 4, pp. 366-427, 1997. (Pubitemid 127583222)
-
(1997)
ACM Computing Surveys
, vol.29
, Issue.4
, pp. 366-427
-
-
Zhu, H.1
Hall, P.A.V.2
May, J.H.R.3
-
15
-
-
77953963524
-
Covering array sampling of input event sequences for automated gui testing
-
X. Yuan, M. Cohen, and A.M. Memon, "Covering Array Sampling of Input Event Sequences for Automated GUI Testing," Proc. IEEE/ACM Int'l Conf. Automated Software Eng., pp. 405-408, 2007.
-
(2007)
Proc. IEEE/ACM Int'l Conf. Automated Software Eng
, pp. 405-408
-
-
Yuan, X.1
Cohen, M.2
Memon, A.M.3
-
16
-
-
0000673732
-
The AETG system: An approach to testing based on combinatorial design
-
D.M. Cohen, S.R. Dalal, M.L. Fredman, and G.C. Patton, "The AETG System: An Approach to Testing Based on Combinatorial Design," IEEE Trans. Software Eng., vol. 23, no. 7, pp. 437-444, July 1997. (Pubitemid 127828305)
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
17
-
-
0037587652
-
Constructing test suites for interaction testing
-
May
-
M.B. Cohen, C.J. Colbourn, P.B. Gibbons, and W.B. Mugridge, "Constructing Test Suites for Interaction Testing," Proc. Int'l Conf. Software Eng., pp. 38-48, May 2003.
-
(2003)
Proc. Int'l Conf. Software Eng
, pp. 38-48
-
-
Cohen, M.B.1
Colbourn, C.J.2
Gibbons, P.B.3
Mugridge, W.B.4
-
18
-
-
50649090280
-
Relationships between test suites, faults, and fault detection in gui testing
-
J. Strecker and A.M. Memon, "Relationships between Test Suites, Faults, and Fault Detection in GUI Testing," Proc. First Int'l Conf. Software Testing, Verification, and Validation, pp. 12-21, 2008.
-
(2008)
Proc. First Int'l Conf. Software Testing, Verification, and Validation
, pp. 12-21
-
-
Strecker, J.1
Memon, A.M.2
-
19
-
-
34548745202
-
Using GUI run-time state as feedback to generate test cases
-
DOI 10.1109/ICSE.2007.94, 4222601, Proceedings - 29th International Conference on Software Engineering, ICSE 2007
-
X. Yuan and A.M. Memon, "Using GUI Run-Time State as Feedback to Generate Test Cases," Proc. Int'l Conf. Software Eng., pp. 396-405, 2007. (Pubitemid 47430674)
-
(2007)
Proceedings - International Conference on Software Engineering
, pp. 396-405
-
-
Xun, Y.1
Memon, A.M.2
-
21
-
-
50249107791
-
Towards automated test sequence generation
-
U. Farooq, C.P. Lam, and H. Li, "Towards Automated Test Sequence Generation," Proc. Australian Software Eng. Conf., pp. 441-450, 2008.
-
(2008)
Proc. Australian Software Eng. Conf
, pp. 441-450
-
-
Farooq, U.1
Lam, C.P.2
Li, H.3
-
22
-
-
56249091461
-
Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution
-
K. Inkumsah and T. Xie, "Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution," Proc. IEEE/ACM Int'l Conf. Automated Software Eng., pp. 297-306, 2008.
-
(2008)
Proc. IEEE/ACM Int'l Conf. Automated Software Eng
, pp. 297-306
-
-
Inkumsah, K.1
Xie, T.2
-
23
-
-
68049090776
-
Test sequence generation for integration testing of component software
-
L. Gallagher and J. Offutt, "Test Sequence Generation for Integration Testing of Component Software," The Computer J., vol. 52, pp. 514-529, 2007.
-
(2007)
The Computer J
, vol.52
, pp. 514-529
-
-
Gallagher, L.1
Offutt, J.2
-
24
-
-
0013043880
-
ASM-based testing: Coverage criteria and automatic test sequence generation
-
A. Gargantini and E. Riccobene, "ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation," J. Universal Computer Science, vol. 7, no. 11, pp. 1050-1067, 2001. (Pubitemid 33799216)
-
(2001)
Journal of Universal Computer Science
, vol.7
, Issue.11
, pp. 1050-1067
-
-
Gargantini, A.1
Riccobene, E.2
-
25
-
-
84957710750
-
A method to automate user interface testing using variable finite state machines
-
R.K. Shehady and D.P. Siewiorek, "A Method to Automate User Interface Testing Using Variable Finite State Machines," Proc. Int'l Symp. Fault-Tolerant Computing, pp. 80-88, 1997.
-
(1997)
Proc. Int'l Symp. Fault-Tolerant Computing
, pp. 80-88
-
-
Shehady, R.K.1
Siewiorek, D.P.2
-
26
-
-
0035249240
-
Hierarchical GUI test case generation using automated planning
-
DOI 10.1109/32.908959
-
A.M. Memon, M.E. Pollack, and M.L. Soffa, "Hierarchical GUI Test Case Generation Using Automated Planning," IEEE Trans. Software Eng., vol. 27, no. 2, pp. 144-155, Feb. 2001. (Pubitemid 32254261)
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.2
, pp. 144-155
-
-
Memon, A.M.1
Pollack, M.E.2
Soffa, M.L.3
-
28
-
-
40449101809
-
Call-stack coverage for GUI test suite reduction
-
DOI 10.1109/TSE.2007.70756
-
S. McMaster and A.M. Memon, "Call-Stack Coverage for GUI Test-Suite Reduction," IEEE Trans. Software Eng., vol. 34, no. 1, pp. 99-115, Jan./Feb. 2008. (Pubitemid 351350371)
-
(2008)
IEEE Transactions on Software Engineering
, vol.34
, Issue.1
, pp. 99-115
-
-
McMaster, S.1
Memon, A.2
-
29
-
-
33646899615
-
Rapid "crash testing" for continuously evolving GUI-based software applications
-
1510142, Proceedings of the 21st IEEE International Conference on Software Maintenance, ICSM 2005
-
Q. Xie and A.M. Memon, "Rapid "Crash Testing" for Continuously Evolving GUI-Based Software Applications," Proc. Int'l Conf. Software Maintenance, pp. 473-482, 2005. (Pubitemid 43790960)
-
(2005)
IEEE International Conference on Software Maintenance, ICSM
, vol.2005
, pp. 473-482
-
-
Xie, Q.1
Memon, A.M.2
-
34
-
-
84977307274
-
Robust testing of at&t pmx/starmail using oats
-
R. Brownlie, J. Prowse, and M.S. Phadke, "Robust Testing of AT&T PMX/StarMAIL Using OATS," AT&T Technical J., vol. 71, no. 3, pp. 41-47, 1992.
-
(1992)
AT&T Technical J
, vol.71
, Issue.3
, pp. 41-47
-
-
Brownlie, R.1
Prowse, J.2
Phadke, M.S.3
-
35
-
-
0030615507
-
Applying design of experiments to software testing
-
I.S. Dunietz, W.K. Ehrlich, B.D. Szablak, C.L. Mallows, and A. Iannino, "Applying Design of Experiments to Software Testing," Proc. Int'l Conf. Software Eng., 1997, pp. 205-215,
-
(1997)
Proc. Int'l Conf. Software Eng
, pp. 205-215
-
-
Dunietz, I.S.1
Ehrlich, W.K.2
Szablak, B.D.3
Mallows, C.L.4
Iannino, A.5
-
36
-
-
3042622265
-
Software fault interactions and implications for software testing
-
June
-
D. Kuhn, D.R. Wallace, and A.M. Gallo, "Software Fault Interactions and Implications for Software Testing," IEEE Trans. Software Eng., vol. 30, no. 6, pp. 418-421, June 2004.
-
(2004)
IEEE Trans. Software Eng
, vol.30
, Issue.6
, pp. 418-421
-
-
Kuhn, D.1
Wallace, D.R.2
Gallo, A.M.3
-
37
-
-
32044447689
-
Covering arrays for efficient fault characterization in complex configuration spaces
-
DOI 10.1109/TSE.2006.8
-
C. Yilmaz, M.B. Cohen, and A. Porter, "Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces," IEEE Trans. Software Eng., vol. 32, no. 1, pp. 20-34, Jan. 2006. (Pubitemid 43193063)
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.1
, pp. 20-34
-
-
Yilmaz, C.1
Cohen, M.B.2
Porter, A.A.3
-
38
-
-
57449093119
-
Configuration-aware regression testing: An empirical study of sampling and prioritization
-
July
-
X. Qu, M.B. Cohen, and G. Rothermel, "Configuration-Aware Regression Testing: An Empirical Study of Sampling and Prioritization," Proc. Int'l Symp. Software Testing and Analysis, pp. 75-85, July 2008.
-
(2008)
Proc. Int'l Symp. Software Testing and Analysis
, pp. 75-85
-
-
Qu, X.1
Cohen, M.B.2
Rothermel, G.3
-
39
-
-
34247349101
-
Coverage and adequacy in software product line testing
-
DOI 10.1145/1147249.1147257, Proceedings of the ISSTA 2006 workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06
-
M.B. Cohen, M.B. Dwyer, and J. Shi, "Coverage and Adequacy in Software Product Line Testing," Proc. Workshop Role of Architecture for Testing and Analysis, pp. 53-63, July 2006. (Pubitemid 46645442)
-
(2006)
Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06
, vol.2006
, pp. 53-63
-
-
Cohen, M.B.1
Dwyer, M.B.2
Jiangfan, S.3
-
40
-
-
0037943778
-
-
technical report, Polytechnic Univ
-
D. Chays, S. Dan, Y. Deng, F.I. Vokolos, P.G. Frankl, and E.J. Weyuker, "AGENDA: A Test Case Generator for Relational Database Applications," technical report, Polytechnic Univ., 2002.
-
(2002)
AGENDA: A Test Case Generator for Relational Database Applications
-
-
Chays, D.1
Dan, S.2
Deng, Y.3
Vokolos, F.I.4
Frankl, P.G.5
Weyuker, E.J.6
-
41
-
-
46149096481
-
Interaction testing in model-based development: Effect on model-coverage
-
R.C. Bryce, A. Rajan, and M.P.E. Heimdahl, "Interaction Testing in Model-Based Development: Effect on Model-Coverage," Proc. Asia Pacific Software Eng. Conf., pp. 259-268, 2006.
-
(2006)
Proc. Asia Pacific Software Eng. Conf
, pp. 259-268
-
-
Bryce, R.C.1
Rajan, A.2
Heimdahl, M.P.E.3
-
42
-
-
34547359948
-
Model-based testing of community-driven open-source GUI applications
-
DOI 10.1109/ICSM.2006.39, 4021332, ICSM 2006 Proceedings - 22nd IEEE International Conference on Software Maintenance
-
Q. Xie and A.M. Memon, "Model-Based Testing of Community-Driven Open-Source GUI applications," Proc. Int'l Conf. Software Maintenance, pp. 145-154, 2006. (Pubitemid 47133340)
-
(2006)
IEEE International Conference on Software Maintenance, ICSM
, pp. 145-154
-
-
Xie, Q.1
Memon, A.M.2
-
43
-
-
14544301479
-
Finding bugs is easy
-
DOI 10.1145/1052883.1052895
-
D. Hovemeyer and W. Pugh, "Finding Bugs is Easy," ACM SIGPLAN Notices, vol. 39, no. 12, pp. 92-106, 2004. (Pubitemid 40303302)
-
(2004)
ACM SIGPLAN Notices
, vol.39
, Issue.12
, pp. 92-106
-
-
Hovemeyer, D.1
Pugh, W.2
-
44
-
-
79961060346
-
Towards dynamic adaptive automated test generation for graphical user interfaces
-
X. Yuan, M. Cohen, and A.M. Memon, "Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces," Proc. First Int'l Workshop TESTing Techniques & Experimentation Benchmarks for Event-Driven Software, pp. 1-4, 2009.
-
(2009)
Proc. First Int'l Workshop TESTing Techniques & Experimentation Benchmarks for Event-Driven Software
, pp. 1-4
-
-
Yuan, X.1
Cohen, M.2
Memon, A.M.3
|