|
◆◆◆最も引用の多い論文（パステストに本質的な分岐）
-
T.Chusho :
Test data selection and quality estimation based on the concept of essential branches for path testing,
IEEE Transactions on Software Engineering, SE-13, 5, 509-517 (May 1987)
[UP]
＜＜以下、本論文を引用している論文 GoogleScholarによる検索：引用元 119件＞＞
-
###
-
##2024#
M Barth, MC Jakobs, "Refining CEGAR-Based Test-Case Generation with Feasibility Annotations"
International Conference on Tests and Proofs, 2024 - Springer.
EFERENCES [15]
-
##2024#
DM Buede, WD Miller, "The engineering design of systems: models and methods"
John Wiley & Sons, 16 April 2024 - 464 pages.
-
##2024#
HJF Luz, PSL Souza, SRS Souza, "Structural testing for CUDA programming model"
Wiley Online Library, First published: 09 April 2024.
EFERENCES [48]
-
##2023#
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel & Hanen Ochi,
"Symbolic Observation Graph-Based Generation of Test Paths,"
7th International Conference on Tests and Proofs (TAP2023), Jul 2023, pp.127-146.
Quotation from the paper:
"Chusho [12] introduced the essential branch measure, which represents the cornerstone to transform a control flow graph (CFG), representing the target code, into a reduced graph called an inheritor-reduced graph."
-
##2023#
R Pitts, "Mutant Selection Strategies in Mutation Testing,"
2023 IEEE International Conference on Code Quality (ICCQ), 2023 - ieeexplore.ieee.org
Quotation from the paper:
"Chusho recognized that exhaustive branch coverage assessment led to an overestimation of quality, and consequently defined the notion of removing redundant, nonessential branches from coverage measures [8]."
-
##2022#
MC Jakobs, "Automatic Test-Case Generation with CoVeriTest,"
International Conference on Tests and Proofs, 2022 - Springer
-
##2022#
R Pitts, "Random Mutant Selection and Equivalent Mutants Revisited,"
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2022 - ieeexplore.ieee.org
-
##2022#
Chung, S. and Yoo, S. "Augmenting Equivalent Mutant Dataset Using Symbolic Execution,"
Proceedings of the 17th International Workshop on Mutation Analysis (Mutation 2022), April,2022
-
##2022#
R Pitts, "Quasi-Dominators and Random Selection in Mutation Testing,"
2022 International Conference on Code Quality (ICCQ), 2022 - ieeexplore.ieee.org
-
##2021#
R. Pitts, "Random Selection Might Just be Indomitable,"
2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2021, pp. 1-6
-
##2020#
C. B. Junior, V. H. S. Durelli, R. S. Durelli, S. R. S. d. Souza, A. M. R. Vincenzi and M. E. Delamaro, :
A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants,
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Pages 304-313
-
##2020#
Pedro Henrique Kuroishi,Marcio Eduardo Delamaro,José Carlos Maldonado,Auri Marcelo Rizzo Vincenzi :
Reducing the Cost of Mutation Testing with the Use of Primitive Arcs Concept,
SBQS'20: 19th Brazilian Symposium on Software QualityDecember 2020 Article No.: 20 Pages 1-10
-
##2018#
M Delamaro, ML Chaim, JC Maldonado :
Where are the minimal mutants?,
Proceedings of the XXXII Brazilian Symposium on Software Engineering,
Pages 190-195
-
##2018#
M Marcozzi, S Bardin, N Kosmatov, et al.:
Time to clean your test objectives,
ICSE '18 Proceedings of the 40th International Conference on Software Engineering,
Pages 456-467
-
##2018#
RG Kurtz Jr :
Improving Mutation Testing with Dominator Mutants,
George Mason University, ProQuest Dissertations Publishing, 2018.
-
##2017#
Xiao-wei LI, Ya-wen WANG and Huan LIN:
Coverage-Based Dynamic Mutant Subsumption Graph,
2017 International Conference on Mathematics, Modelling and Simulation Technologies and Applications (MMSTA 2017)
-
##2017#
Michaël Marcozzi, et al.,
Freeing Testers from Polluting Test Objectives,
https://arxiv.org/abs/1708.08765 (Submitted on 29 Aug 2017)
-
##2016#
B Kurtz, P Ammann, J Offutt,et al. :
Analyzing the validity of selective mutation with dominator mutants,
FSE 2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,
Pages 571-582
-
##2016#
DM Buede, WD Miller :
The engineering design of systems: models and methods,
books.google.com
-
##2016#
E Planas, J Cabot, C Gómez, "Lightweight and static verification of UML executable models,"
Computer Languages, Systems & Structures, 2016 - Elsevier
-
##2015#
A. Bhagyalakshmi; V. Vijaya Chamundeeswari :
Image retrieval using color and texture binary patterns,
2015 International Conference on Green Computing and Internet of Things (ICGCIoT), 2015, pp. 715-719
-
##2014#
A. Althunibat, T. A. Alrawashdeh and M. Muhairat,
"The Acceptance of Using M-government Services in Jordan,"
2014 11th International Conference on Information Technology: New Generations, 2014, pp. 643-644
-
##2014#
Ammann, P.; Delamaro, M.E.; Offutt, J. "Establishing Theoretical Minimal Sets of Mutants", Software Testing, Verification and Validation (ICST),2014 IEEE Seventh International Conference on, On page(s): 21 - 30
-
##2014#
Kurtz, B.; Ammann, P.; Delamaro, M.E.; Offutt, J.; Lin Deng "Mutant Subsumption Graphs", Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on, On
page(s): 176 - 185
-
##2014#
A Cavalcanti, S King, C O'Halloran… :
Test-data generation for control coverage by proof,
Formal Aspects of …, 2014 - Springer
-
##2014?#
M.R. Sumalatha :
Improving Structural Testing Using GASE Algorithm,
jnasci.org
-
##2013#
Reshma Ajitkumar Shinde1 :
Testing Based On Object Oriented Software,
IJRCSIT I ISSN No. : 2319-5010 I Vol. 1 I Issue 1(A) I Feb. 2013
-
##2013#
Elena Planas:
Lightweight and static verification of UML executable models,
Doctoral Thesis, Universitat Politècnica de Catalunya. (February 10, 2013)
-
##2012#
PL Poon, TY Chen, TH Tse :
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology,
International Conference on Reliable …, 2012 - Springer
-
##2012#
S Schafer :
Modellbasierte Steuerung des Kuhlkreislaufes einer Brennstoffzelle mit automatisiertem Test der Software,
tuprints.ulb.tu-darmstadt.de
-
##2012#
J Held, R Lenz :
Towards measuring test data quality ,
Proceedings of the 2012 Joint EDBT/ICDT Workshops, 2012
-
##2011#
B Ayyoub :
Using Trained Matrix Technique For Acceptance Tests in Agility WEB Programming Methodologies,
alzaytoonah.edu.jo の [PDF],
ICIT 2011 The 5th International Conference on Information Technology
-
##2010#
C Haubelt, J Teich:
Software-Verifikation,
Digitale Hardware/Software-Systeme, 2010 - Springer
-
##2010#
LBR Oliveira :
Estabelecimento de uma arquitetura de referencia orientada a servicos para ferramentas de teste de software,
teses.usp.br
-
##2009#
Ramadoss, B.; Prema, P. "An Approach for Merging Two Classification-Trees", Advance Computing Conference, 2009. IACC 2009. IEEE International, On page(s):
-
##2009#
Dennis M. Buede :
The Engineering Design of Systems: Models and Methods
(Wiley Series in Systems Engineering and Management)
Wiley,
2009
-
##2009#
JC Huang… :
Software Error Detection Through Testing and Analysis,
- Wiley Online Library
-
##2008#
Nariman Mani :
Testing and Monitoring Multi-Agent Systems for Deadlock Detection
Based on UML Models,
DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING,
CALGARY, ALBERTA,
DECEMBER 2008
-
##2008#
SRS Souza, SR Vergilio, PSL Souza… - :
Structural testing criteria for message‐passing parallel programs,
Concurrency and …, Wiley Online Library
-
##2008#
Ramzi Ben Larbi, S?bastien Konieczny, Pierre Marquis,
"A Model for Multiple Outcomes Games,"
ictai, vol. 1, pp.27-34, 2008 20th IEEE International Conference on Tools with Artificial Intelligence, 2008
-
##2008#
Nariman Mani Vahid Garousi Behrouz H. Far :
A UML-Based Conversion Tool for Monitoring and Testing Multi-Agent Systems,
2008 20th IEEE International Conference on Tools with Artificial Intelligence,
212-219, Nov. 2008
-
##2007#
Yang, Ximin :
Towards a self-evolving software defect detection process,
University of Saskatchewan Library
-
##2007#
AC Hausen, SR Vergilio, SRS Souza… :
A tool for structural testing of MPI programs,
8th IEEE LATW ( …, 2007 - researchgate.net
-
##2006#
B Liskov, J Guttag :
The Symmetry Package SPDE in Scratchpad,
Springer
-
##2005#
E Dubrova : Linear-time algorithm for computing minimum checkpoint sets for simulation-based verification of HDL programs, Circuits and Systems, 2005. ISCAS 2005. IEEE, 2005
-
##2005#
HS HONG, H URAL : Dependence Testing: Extending Data Flow Testing with Control Dependence, Lecture notes in computer science ? Springer(17th IFIP TC6/WG 6.1 International Conference, TestCom 2005)
-
##2005#
Hyoung Seok Hong and Hasan Ural :
Using model checking for reducing the cost of test generation,
- Formal Approaches to Software Testing, 2005 - Springer
-
##2005#
V Garousi, L Briand, Y Labiche : Control Flow Analysis of UML 2.0 Sequence Diagrams, Proceedings of the European Conference on Model Driven …, 2005
Carleton University TR SCE-05-09 Updated: September 2005
-
##2005#
AC Hausen, SR Vergilio :
ValiMPI: uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de …,
- 2005
-
##2005#
EF Barbosa, JC Maldonado… :
Teste estrutural e de mutacao no contexto de programas OO,
[PDF],2005 - labes.icmc.usp.br
-
##2005#
SRS de Souza, SR Vergilio, PSL de Souza… :
ValiPar: A Testing Tool for Message-Passing Parallel Programs.
SEKE, 2005 - researchgate.net
-
##2004#
Jos´e Carlos Maldonado, Ellen Francine Barbosa, Auri Marcelo Rizzo Vincenzi, M´arcio Eduardo Delamaro, Simone do Rocio Senger de Souza, and Mario Jino :
Introdu，c?ao ao Teste de Software?,
S?ao Carlos, ABRIL/2004
-
##2004#
USPS Carlos :
Orientacao a Objeto: Definicao, Implementacao e Analise de Recursos de Teste e Validacao,
[PDF], -2004 - pandora.cisc.usp.br -
##2004#
Chi-Ming Chung, Wen C. Pai :
Selecting a testing criterion based on quantitative analysis,
Information Sciences,
Volume 79, Issues 1-2, July 1994, Pages 109-121
-
##2004#
HS Hong, H Ural : Using Model Checking for Reducing the Cost of Test Generation, Proceedings of the 4th International Workshop on Formal Approaches to Software Testing - Springer
-
##2004#
Auri Marcelo Rizzo Vincenz : Orientacao a objeto: Definicao, implementacao e analise de recursos de teste e validacao, 2004 - teses.usp.br
-
##2004#
A Cain, TY Chen, D Grant, PL Poon, SF Tang, TH Tse : An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology, LECTURE NOTES IN COMPUTER SCIENCE, 2004 - Springer
-
##2003#
Martina Marre, Antonia Bertolino : Using Spanning Sets for Coverage Testing, IEEE Transactions on Software Engineering, Vol. 29, No. 11, pp. 974-984, November 2003.
-
##2003#
T.Y. Chen, Pak-Lok Poon, T.H. Tse : A Choice Relation Framework for Supporting Category-Partition Test Case Generation, IEEE Transactions on Software Engineering, Vol. 29, No. 7, pp. 577-593, July 2003.
-
##2003#
Ying-Yen Hsu :
A Quantitative Software Complexity Measurement by Program Normalization,
2003
-
##2002#
J. Lin, L. Huang : A Table Reduction Approach for Software Structure Testing, 18th IEEE International Conference on Software Maintenance (ICSM'02) , October 2002.
-
##2002#
G Lin : Make the Software Metrics More Precious by Program Normalizing, 2002, cse.ttu.edu.tw.
-
##2001#
AL Souter, TM Wong, SA Shindo, LL Pollock : TATOO: Testing and Analysis Tool for Object-Oriented Software, Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001,
-
##2001#
V&V Techniques, RPG Reference Document, 2001, msiac.dmso.mil
-
##2000#
ES Spoto : TESTE ESTRUTURAL DE PROGRAMAS DE APLICACAO DE BANCO DE DADOS RELACIONAL, 2000 - libdigi.unicamp.br
-
##2000#
TY Chen, PL Poon, TH Tse :
AN INTEGRATED CLASSIFICATION-TREE METHODOLOGY FOR TEST CASE GENERATION,
INT. J. SOFTWARE ENGINEER. KNOWLEDGE ENGINEER, 2000
-
##2000#
EF Barbosa, JC Maldonado, AMR Vincenzi, ME … :
Introdu醇M醇Io ao Teste de Software,
Minicurso apresentado no SBES, 2000
-
##2000#
Yuen Tak Yu, Sau Fun Tang, Pak Lok Poon, and Tsong Yueh Chen :
Improving the Cost-effectiveness of a Test Suite for User Acceptance Tests,
[HTML]CPE Quizzes, - isaca.org
-
##2000#
DM Buede :
The engineering design of systems, ankara.edu.tr[PDF],
- Wiley Online Library
-
##1999#
Kandil, M.; Mohamed, F.; Omar, A.; Sherizh, M. "Software testing as applied to computer controlled nuclear reactor ", Radio Science Conference, 1999. NRSC '99. Proceedings of the Sixteenth National, On page(s): H9/1 -H9/8
-
##1999#
Ettore M. Merlo, Giuliano Antoniol: A static measure of a subset of intra-procedural data flow testing coverage based on node coverage, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, 1999.
-
##1999#
T.Y. Chen, P.L. Poon, T.H. Tse : A New Restructuring Algorithm for the Classification-Tree Method, Software Technology and Engineering Practice, August 1999.
-
##1998#
O Balci : CHAPTER 10 Verification, Validation and Testing, The Handbook of Simulation, John Wiley & Sons, 1998, courses.cs.vt.edu
-
##1998#
TY Chen, PL Poon :
On the effectiveness of classification trees for test case construction,
Information and Software Technology, 1998
-
##1998#
JC Maldonado, AMR Vincenzi, EF Barbosa… :
Aspectos teoricos e empiricos de teste de cobertura de software,
[PDF], -1998 - labes.icmc.usp.br
-
##1997#
Hong Zhu, Patrick A. V. Hall, John H. R. May : Software unit test coverage and adequacy, ACM Computing Surveys, Volume 29 , Issue 4 (December 1997), Pages: 366 - 427, 1997.
-
##?1997-#
Pl nio R. S. Vilela, Silvia R. Vergilio, Jos e C. Maldonado, and Mario Jino :
Introdu cao aos Crit erios Potenciais Usos e a POKE-TOOL
-
##1997#
TY Chen, PL Poon :
Construction of classification trees via the classification-hierarchy table,
Information and Software Technology, 1997
-
##1997#
CG Chung, JG Lee :
An enhanced zero-one optimal path set selection method
The Journal of Systems & Software, 1997
-
##1996#
・T.Y. Chen, P.L. Poon :
"The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development," aswec, pp.155, 1996 Australian Software Engineering Conference (ASWEC '96), 1996
-
##1996#
・T.Y. Chen, P.L. Poon : Improving the Quality of Classification Trees via Restructuring, Third Asia-Pacific Software Engineering Conference (APSEC'96) , December 1996.
-
##1996#
・T.Y. Chen, P.L. Poon : Classification-Hierarchy Table: A Methodology for Constructing the Classification Tree, 1996 Australian Software Engineering Conference (ASWEC '96), July 1996.
-
##1996#
K Chang, J Cross, W Carlisle… :
A performance evaluation of heuristics-based test case generation methods for software branch coverage,
- International Journal of …, 1996 - worldscinet.com
-
##1994#
A. Bertolino, M. Marre : Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs, IEEE Transactions on Software Engineering, V.20, N.12, pp. 885-899, December 1994.
-
##1994#
Osman Balci : Validation, verification, and testing techniques throughout the life cycle of a simulation study,
Annals of Operations Research, Volume 53, Number 1, 121-173,
1994 ? Springer
-
##1994#
EV Berard : Issues in the testing of object-oriented software, Electro/94 International. Conference Proceedings, 1994.
-
##1994#
E Gordon :
C++: Panacea or Placebo,
- Electro/94 International. Conference Proceedings. …, 1994 - ieeexplore.ieee.org
-
##1994#
Chi-Ming Chung Wen C. Pai :
Selecting a testing criterion based on quantitative analysis,
- Information sciences, 1994 - Elsevier,
Volume 79, Issues 1?2, Pages 1-158 (July 1994)Pages 109-121
-
##1993#
Samuel Bates, Susan Horwitz : Incremental program testing using program dependence graphs, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages: 384 - 396, 1993.
-
##1993#
H Ritsch… :
Reverse engineering programs via dynamic analysis,
- Reverse Engineering,., …, 1993 - ieeexplore.ieee.org
-
##1992#
Zhu Yun Gu, Kong Eng Cheng : The derivation of test cases from SDL specifications,
Proceedings of the 30th annual Southeast regional conference, Pages: 219 - 227, 1992.
-
##1991#
Jin-Cherng Lin; Wu-Chiang Chen "The problem of tested elements reduction in structural program testing", Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on, On page(s): 155 - 161
-
##1991#
Q Shi, JA McDermid : A Formal Model of Security Dependency for Analysis and Testing of Secure Systems, 1991, cs.york.ac.uk
-
##?1990- http://www.itmweb.com/essay555.htm #
Edward V. Berard :
Issues in the Testing of Object-Oriented Software, The Object Agency
-
##1990#
Boris Beizer : Software Testing Techniques 2nd edition, International Thomson Computer Press (June 1, 1990)
＜（訳本）ソフトウェアテスト技法，日経BP出版センター，1994＞
-
##1990#
DE Perry, GE Kaiser :
Adequate testing and object-oriented programming,
Journal of Object-Oriented Programming. Vol. 2, no. 5, pp. 13-19. 1990
-
##1990#
DE Perry, GE Kaiser : Object-Oriented programs and Testing,
AT&T Bell Laboratories Murray Hill, New Jersey 07974 Software and Systems Research Center Technical Report, 1990
-
##1989##
A. A. Omar, F. A. Mohammed :
Structural testing of programs,
Newsletter
ACM SIGSOFT Software Engineering Notes Homepage archive
Volume 14 Issue 2, April 1989
-
##1989##
Whitner, R.B.; Balci, O., "Guidelines For Selecting And Using Simulation Model Verification Techniques," Simulation Conference Proceedings, 1989. Winter , vol., no.pp.559-568, 4-6 Dec 1989
-
##1989##
GE Kaiser, DE Perry, WM Schell : Infuse: fusing integration test management with change management, IEEE COMPSAC89, 1989.
-
##1988##
Fritz Schwarz :
Programming with abstract data types: The symmetry package SPDE in scratchpad,
Trends in Computer Algebra
Lecture Notes in Computer Science, 1988, Volume 296/1988, 167-176, Springer
-
##1988##
EW Krauser, AP Mathur, V Rego :
High performance testing on SIMD machines,
Software Testing, Verification, and Analysis, 1988
Back HOME
|
