An Empirical Study on Mutation Testing of WS-BPEL Programs
暂无分享,去创建一个
[1] Kai-Yuan Cai,et al. Distribution-Aware Mutation Analysis , 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.
[2] Phil McMinn,et al. The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis , 2014, 2014 14th International Conference on Quality Software.
[3] Sarfraz Khurshid,et al. Regression mutation testing , 2012, ISSTA 2012.
[4] Moez Krichen,et al. Study on the Limitations of WS-BPEL Compositions Under Load Conditions , 2015, Comput. J..
[5] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[6] Yong Rae Kwon,et al. Evaluation of mutation testing for object-oriented programs , 2006, ICSE.
[7] Huai Liu,et al. Code Coverage of Adaptive Random Testing , 2013, IEEE Transactions on Reliability.
[8] Lionel C. Briand,et al. Is mutation an appropriate tool for testing experiments? , 2005, ICSE.
[9] Saurabh Sinha,et al. Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs , 2009, 2009 IEEE International Conference on Web Services.
[10] Huai Liu,et al. Metamorphic Testing for Web Services: Framework and a Case Study , 2011, 2011 IEEE International Conference on Web Services.
[11] Marco Aiello,et al. Transaction Management in Service-Oriented Systems: Requirements and a Proposal , 2011, IEEE Transactions on Services Computing.
[12] Panya Boonyakulsrirung. WeMuTe – A Weak Mutation Testing Tool for WS-BPEL , .
[13] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[14] Huai Liu,et al. Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach , 2018, IEEE Transactions on Services Computing.
[15] Yves Le Traon,et al. Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
[16] Andreas Zeller,et al. Mutation-Driven Generation of Unit Tests and Oracles , 2012, IEEE Trans. Software Eng..
[17] Alex Groce,et al. Code coverage for suite evaluation by developers , 2014, ICSE.
[18] Huai Liu,et al. How Effectively Does Metamorphic Testing Alleviate the Oracle Problem? , 2014, IEEE Transactions on Software Engineering.
[19] Inmaculada Medina-Bulo,et al. Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
[20] Reid Holmes,et al. Coverage is not strongly correlated with test suite effectiveness , 2014, ICSE.
[21] Akbar Siami Namin,et al. Sufficient mutation operators for measuring test effectiveness , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[22] Anna Derezinska. Quality Assessment of Mutation Operators Dedicated for C# Programs , 2006, 2006 Sixth International Conference on Quality Software (QSIC'06).
[23] Inmaculada Medina-Bulo,et al. Quality metrics for mutation testing with applications to WS‐BPEL compositions , 2015, Softw. Test. Verification Reliab..
[24] Mark Harman,et al. A study of equivalent and stubborn mutation operators using human analysis of equivalence , 2014, ICSE.
[25] Giovanni Denaro,et al. Test-and-adapt: An approach for improving service interchangeability , 2013, TSEM.
[26] Chang-ai Sun,et al. BPELDebugger: An effective BPEL-specific fault localization framework , 2013, Inf. Softw. Technol..
[27] Lionel C. Briand,et al. Automated testing for SQL injection vulnerabilities: an input mutation approach , 2014, ISSTA 2014.
[28] Auri Marcelo Rizzo Vincenzi,et al. Toward the determination of sufficient mutant operators for C † , 2001, Softw. Test. Verification Reliab..
[29] Inmaculada Medina-Bulo,et al. Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
[30] Inmaculada Medina-Bulo,et al. GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis , 2010, ICWE.
[31] Tao Xie,et al. Is operator-based mutant selection superior to random mutant selection? , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[32] Mike Papadakis,et al. Evaluating Mutation Testing Alternatives: A Collateral Experiment , 2010, 2010 Asia Pacific Software Engineering Conference.
[33] Gregg Rothermel,et al. An experimental determination of sufficient mutant operators , 1996, TSEM.
[34] Mark Harman,et al. Higher Order Mutation Testing , 2009, Inf. Softw. Technol..
[35] Gregg Rothermel,et al. An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces , 2013, Softw. Test. Verification Reliab..
[36] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .