Automated Testing EJB Components Based on Algebraic Specifications

31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007) ◽

10.1109/compsac.2007.82 ◽

2007 ◽

Cited By ~ 4

Author(s):

Liang Kong ◽

Hong Zhu ◽

Bin Zhou

Keyword(s):

Automated Testing ◽

Algebraic Specifications

Download Full-text

Automated Testing of Web Services Based on Algebraic Specifications

2015 IEEE Symposium on Service-Oriented System Engineering ◽

10.1109/sose.2015.33 ◽

2015 ◽

Cited By ~ 5

Author(s):

Dongmei Liu ◽

Yuxin Liu ◽

Xin Zhang ◽

Hong Zhu ◽

Ian Bayley

Keyword(s):

Web Services ◽

Automated Testing ◽

Algebraic Specifications

Download Full-text

Probability of detection of minute defects by ultrasonic automated testing equipment in view of Bayesian inference

Materials Testing ◽

10.3139/120.110815 ◽

2016 ◽

Vol 58 (1) ◽

pp. 27-30 ◽

Cited By ~ 1

Author(s):

Alex Leybovich

Keyword(s):

Bayesian Inference ◽

Probability Of Detection ◽

Testing Equipment ◽

Automated Testing

Download Full-text

Generating and selecting resilient and maintainable locators for Web automated testing

Software Testing Verification and Reliability ◽

10.1002/stvr.1760 ◽

2021 ◽

Author(s):

Vu Nguyen ◽

Thanh To ◽

Gia‐Han Diep

Keyword(s):

Automated Testing

Download Full-text

Web-Application Based System for Automated Testing of Network-Devices Configurations

2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) ◽

10.1109/iceta51985.2020.9379191 ◽

2020 ◽

Author(s):

M. Holy ◽

D. Macko

Keyword(s):

Web Application ◽

Automated Testing

Download Full-text

DialTest: automated testing for recurrent-neural-network-driven dialogue systems

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ◽

10.1145/3460319.3464829 ◽

2021 ◽

Author(s):

Zixi Liu ◽

Yang Feng ◽

Zhenyu Chen

Keyword(s):

Neural Network ◽

Recurrent Neural Network ◽

Automated Testing ◽

Dialogue Systems

Download Full-text

Quality-of-Experience driven configuration of WebRTC services through automated testing

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs51102.2020.00031 ◽

2020 ◽

Author(s):

Antonia Bertolino ◽

Antonello Calabro ◽

Guglielmo De Angelis ◽

Francisco Gortazar ◽

Francesca Lonetti ◽

...

Keyword(s):

Quality Of Experience ◽

Automated Testing

Download Full-text

AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications

2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) ◽

10.1109/icsme.2017.72 ◽

2017 ◽

Cited By ~ 8

Author(s):

Tianxiao Gu ◽

Chun Cao ◽

Tianchi Liu ◽

Chengnian Sun ◽

Jing Deng ◽

...

Keyword(s):

Automated Testing ◽

Android Applications ◽

Multi Level

Download Full-text

Fundamentals of algebraic specifications 2: module specifications and constraints

Information and Software Technology ◽

10.1016/0950-5849(92)90117-8 ◽

1992 ◽

Vol 34 (2) ◽

pp. 132

Keyword(s):

Algebraic Specifications

Download Full-text

Early Automated Testing: The 5-0-2

Journal of Chemical Education ◽

10.1021/ed079p16 ◽

2002 ◽

Vol 79 (1) ◽

pp. 16 ◽

Cited By ~ 2

Author(s):

Kathryn R. Williams

Keyword(s):

Automated Testing

Download Full-text

A model-based approach to automated testing of access control policies

Proceedings of the 17th ACM symposium on Access Control Models and Technologies - SACMAT '12 ◽

10.1145/2295136.2295173 ◽

2012 ◽

Cited By ~ 18

Author(s):

Dianxiang Xu ◽

Lijo Thomas ◽

Michael Kent ◽

Tejeddine Mouelhi ◽

Yves Le Traon

Keyword(s):

Access Control ◽

Automated Testing ◽

Control Policies ◽

Model Based ◽

Access Control Policies

Download Full-text