Search results for "Unit-Testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001	Parameterized unit testing: theory and practice.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
60	Michael Ellims, James Bridges, Darrel C. Ince	The Economics of Unit Testing.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Software testing, Unit testing, Test effectiveness, Adequacy criteria
58	Mathias Ricken, Robert Cartwright	ConcJUnit: unit testing for concurrent programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, concurrent programming, unit testing, JUnit
57	Per Runeson	A Survey of Unit Testing Practices.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	test practice, survey, unit testing
52	James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li	Tool support for randomized unit testing.	Random Testing	2006	DBLP DOI BibTeX RDF	randomized testing, unit testing
51	Koushik Sen, Darko Marinov, Gul Agha	CUTE: a concolic unit testing engine for C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing
49	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
49	Hui Wu, Jeffrey G. Gray, Marjan Mernik	Unit Testing for Domain-Specific Languages.	DSL	2009	DBLP DOI BibTeX RDF	Domain-specific languages, unit testing, tool generation
49	Zhong Jie Li, Wei Sun 0001	BPEL-Unit: JUnit for BPEL Processes.	ICSOC	2006	DBLP DOI BibTeX RDF
48	Natalia Juristo Juzgado, Ana María Moreno 0001, Wolfgang Strigel	Guest Editors' Introduction: Software Testing Practices in Industry.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	SQA, V&V, agile software testing, parameterized unit testing, testing practice, software testing, unit testing, symbolic execution, scripting language, test coverage, testing tools, test automation, test design, test design
48	Colin Depradine, Julian Arthur	A tool for incorporating unit testing into a Java programming curriculum.	PPPJ	2004	DBLP DOI BibTeX RDF	Java, frameworks, unit testing
46	Richard Carlsson, Mickaël Rémond	EUnit: a lightweight unit testing framework for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	frameworks, unit testing, Erlang, agile methods
46	Yoonsik Cheon, Gary T. Leavens	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.	ECOOP	2002	DBLP DOI BibTeX RDF
45	Philip Mayer, Daniel Lübke	Towards a BPEL unit testing framework.	TAV-WEB	2006	DBLP DOI BibTeX RDF	BPELUnit, testing, composition, BPEL, unit testing, orchestration
45	Khalil Abdullah, James E. Kimble Jr., Lee J. White	Correcting for unreliable regression integration testing.	ICSM	1995	DBLP DOI BibTeX RDF	unreliable regression integration testing, firewall concept, error cases, firewall construction, software maintenance, statistical analysis, program testing, unit testing, control flow, integration testing
42	Jeffery A. Solheim, John H. Rowland	An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	artificial software systems, top-down strategies, sandwich integration strategies, spot unit testing, bottom-up integration, defect correction, big-bang strategies, code generator, software reliability, program testing, system reliability, reliable systems, verification processes
42	Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkinson, Stuart H. Kurkowski	A methodology for unit testing actors in proprietary discrete event based simulations.	WSC	2008	DBLP DOI BibTeX RDF
42	Per Runeson, Anneliese Amschler Andrews	Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection.	ISSRE	2003	DBLP DOI BibTeX RDF	Defect isolation, Empirical Study, Unit testing, Controlled Experiment, Defect detection, Code Inspection
40	Florentin Ipate, Mike Holcombe	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.	XP	2005	DBLP DOI BibTeX RDF	finite state machines, unit testing, functional testing, state diagrams, stream X-machines
40	Asim Jalis	Probe Tests: A Strategy for Growing Automated Tests around Legacy Code.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF	NUnit, xUnit, refactoring, Unit testing, functional testing, automated testing, logging, C#, .NET, legacy code, mock objects, embedded tests
39	Roy Patrick Tan, Stephen Edwards	Evaluating Automated Unit Testing in Sulu.	ICST	2008	DBLP DOI BibTeX RDF	automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation
39	Peter Sommerlad, Emanuel Graf	CUTE: C++ unit testing easier.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	C++, eclipse, unit testing
39	Yankui Feng, Xiaodong Liu 0002, Jon M. Kerridge	A product line based aspect-oriented generative unit testing approach to building quality components.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF	Aspect-oriented programming, Software product line, Unit testing, Component-based system
39	Natalia Juristo Juzgado, Ana María Moreno 0001, Sira Vegas, Martín Solari	In Search of What We Experimentally Know about Unit Testing.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	testing techniques, experimentation, unit testing, empirical methods, evidence-based software engineering
39	Jianjun Zhao 0001	Data-Flow-Based Unit Testing of Aspect-Oriented Programs.	COMPSAC	2003	DBLP DOI BibTeX RDF
39	Atul Gupta, Pankaj Jalote	Test Inspected Unit or Inspect Unit Tested Code?	ESEM	2007	DBLP DOI BibTeX RDF
39	James H. Andrews, Yingjun Zhang	General Test Result Checking with Log File Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Testing, specification, unit testing, test oracles, log file analysis, lightweight formal methods, safety verification
37	George T. Heineman	Unit Testing of Software Components with Inter-component Dependencies.	CBSE	2009	DBLP DOI BibTeX RDF	Component dependencies, Unit testing
37	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
36	Michal Kebrt, Ondrej Sery	UnitCheck: Unit Testing and Model Checking Combined.	ATVA	2009	DBLP DOI BibTeX RDF
36	Stefan Wappler, Frank Lammermann	Using evolutionary algorithms for the unit testing of object-oriented software.	GECCO	2005	DBLP DOI BibTeX RDF	chaining approach, multi-level optimization, evolutionary testing, object-oriented testing, automated test case generation
36	Guoqing Xu 0001, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu	JAOUT: Automated Generation of Aspect-Oriented Unit Test.	APSEC	2004	DBLP DOI BibTeX RDF
34	Zhongxing Xu, Jian Zhang 0001	A Test Data Generation Tool for Unit Testing of C Programs.	QSIC	2006	DBLP DOI BibTeX RDF	pointer operation, unit testing, symbolic execution, Test data generation
34	Houman Younessi, Panlop Zeephongsekul, Winai Bodhisuwan	A General Model of Unit Testing Efficacy.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	process efficacy, unit testing efficacy model, usability, reliability, software quality, software process, functionality, maintainability, defect management
34	Ibrahim Lokpo, Michel Babri, Gérard Padiou	Assistance for Supporting XP Test Practices in a Distributed CSCW Environment.	XP	2004	DBLP DOI BibTeX RDF	XP-programming, distributed CSCW, Unit testing
34	Jan Wloka, Barbara G. Ryder, Frank Tip	JUnitMX - A change-aware unit testing tool.	ICSE	2009	DBLP DOI BibTeX RDF
33	Liangliang Kong, Zhaolin Yin	The Extension of the Unit Testing Tool Junit for Special Testings.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
33	Anthony J. H. Simons	JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing
33	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	concolic execution, parameterized unit testing, model-based testing, symbolic execution, test-case generation
33	Rudolf Ramler, Gerald Czech, Dietmar Schlosser	Unit Testing beyond a Bar in Green and Red.	XP	2003	DBLP DOI BibTeX RDF
33	Elena García-Barriocanal, Miguel Ángel Sicilia Urbán, Ignacio Aedo, Paloma Díaz-Pérez	An experience in integrating automated unit testing practices in an introductory programming course.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
33	Matt Chu, Christian Murphy, Gail E. Kaiser	Distributed In Vivo Testing of Software Applications.	ICST	2008	DBLP DOI BibTeX RDF	perpetual testing, software testing
33	Tao Xie 0001, David Notkin	Tool-assisted unit-test generation and selection based on operational abstractions.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF
33	Tao Xie 0001, David Notkin	Tool-Assisted Unit Test Selection Based on Operational Violations.	ASE	2003	DBLP DOI BibTeX RDF
32	Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer 0001, Arno Fiva	Contract driven development = test driven development - writing test cases.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unit testing
32	Michael R. Wick, Daniel E. Stevenson, Paul J. Wagner	Using testing and JUnit across the curriculum.	SIGCSE	2005	DBLP DOI BibTeX RDF	unit testing frameworks, testing, unit testing, JUnit
32	Ming-Hao Liu 0001, You-Feng Gao, Jinhui Shan, Jiang-Hong Liu, Lu Zhang 0023, Jiasu Sun	An Approach to Test Data Generation for Killing Multiple Mutants.	ICSM	2006	DBLP DOI BibTeX RDF	adequacy criterion, unit testing, test data generation, mutation testing
31	Douglas Buettner	A System Dynamics Model That Simulates a Significant Late Life Cycle Manpower Increase Phenomenon.	ICSP	2009	DBLP DOI BibTeX RDF	satellite software, inspections, unit testing, system dynamics, peer reviews, software defects, feedback loops
31	Marcelo d'Amorim, Carlos Pacheco, Tao Xie 0001, Darko Marinov, Michael D. Ernst	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.	ASE	2006	DBLP DOI BibTeX RDF
31	Brad Long, Paul A. Strooper	A Case Study in Testing Distributed Systems.	DOA	2001	DBLP DOI BibTeX RDF
30	Michael Ellims, James Bridges, Darrel C. Ince	Unit Testing in Practice.	ISSRE	2004	DBLP DOI BibTeX RDF
29	Joel Adams	Test-driven data structures: revitalizing CS2.	SIGCSE	2009	DBLP DOI BibTeX RDF	data structures, pedagogy, unit testing, test-driven development, agile methods, cs2
29	Mike Holcombe, Florentin Ipate	Complete Test Generation for Extreme Programming.	XP	2004	DBLP DOI BibTeX RDF	unit testing, Functional testing, acceptance testing, test set generation, X-machines
29	James H. Andrews	Case Study of Coverage-Checked Random Data Structure Testing.	ASE	2004	DBLP DOI BibTeX RDF	Testing, empirical software engineering, random testing, unit testing, test oracles
29	Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti	An approach to integration testing based on architectural descriptions.	ICECCS	1997	DBLP DOI BibTeX RDF	formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions
28	Vesa Lappalainen, Jonne Itkonen, Ville Isomöttönen, Sami Kollanus	ComTest: a tool to impart TDD and unit testing to introductory level programming.	ITiCSE	2010	DBLP DOI BibTeX RDF	education, tools, unit testing, TDD
28	Anya Helene Bagge, Valentin David, Magne Haveraaen	Testing with concepts and axioms in C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
28	Daniel Lübke	Unit Testing BPEL Compositions.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
28	Zhong Jie Li, Wei Sun 0001, Zhong Bo Jiang, Xin Zhang 0008	BPEL4WS Unit Testing: Framework and Implementation.	ICWS	2005	DBLP DOI BibTeX RDF
28	Dehla Sokenou, Matthias Vösgen	FlexTest: An Aspect-Oriented Framework for Unit Testing.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
28	Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Gernot Reisinger	A Script-Based Testbed for Mobile Software Frameworks.	ICST	2008	DBLP DOI BibTeX RDF	Software testing
28	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
27	Denny Vrandecic, Aldo Gangemi	Unit Tests for Ontologies.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
27	Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars	Trace-based Reflexive Testing of OO Programs with T2.	ICST	2008	DBLP DOI BibTeX RDF	trace based testing, sequence based testing, unit testing, automated testing
27	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
27	Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber 0004, Christian Sejkora	Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software.	SAFECOMP	2005	DBLP DOI BibTeX RDF
26	Anton Michlmayr, Pascal Fenkam, Schahram Dustdar	Specification-Based Unit Testing of Publish/Subscribe Applications.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
26	Eric Nickell, Ian Smith	Three Patterns in Java Unit Testing.	XP	2003	DBLP DOI BibTeX RDF
26	Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai	GenUTest: A Unit Test and Mock Aspect Generation Tool.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
26	Jens Uwe Pipka	Test-Driven Web Application Development in Java.	NetObjectDays	2002	DBLP DOI BibTeX RDF
25	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
25	Olly Gotel, Christelle Scharff, Andrew Wildenberg	Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments.	ITiCSE	2008	DBLP DOI BibTeX RDF	automated assessment systems, webwork, java, requirements, programming, open source, unit testing, peer review, software quality assurance, junit
25	Achim D. Brucker, Burkhart Wolff	Interactive Testing with HOL-TestGen.	FATES	2005	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing
25	Wai-Mee Ching, Alexander Katz	The Testing of an APL Compiler.	APL	1993	DBLP DOI BibTeX RDF	REXX, APL, C
24	Stefan Wappler, Joachim Wegener	Evolutionary unit testing of object-oriented software using strongly-typed genetic programming.	GECCO	2006	DBLP DOI BibTeX RDF	object-orientation, evolutionary testing, automated test case generation, strongly-typed genetic programming
24	Derek M. Shimozawa, James R. Cordy	TETE: A Non-Invasive Unit Testing Framework for Source Transformation.	STEP	2005	DBLP DOI BibTeX RDF
24	Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang 0011, Raymond A. Paul	Testing Web Services Using Progressive Group Testing.	AWCC	2004	DBLP DOI BibTeX RDF	Web testing, Web Services, Service-Oriented Architecture, Verification and Validation
23	Richard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson	An Exploratory Study of Component Reliability Using Unit Testing.	ISSRE	2003	DBLP DOI BibTeX RDF
23	Yoonki Song, Suresh Thummalapenta, Tao Xie 0001	UnitPlus: assisting developer testing in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	developer testing, test code reuse
22	Peixun Long, Jianjun Zhao	Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing.	CoRR	2023	DBLP DOI BibTeX RDF
22	Anya Helene Bagge, Valentin David, Magne Haveraaen	Axiom-based testing for C++.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x
22	André Restivo, Ademar Aguiar	Towards detecting and solving aspect conflicts and interferences using unit tests.	SPLAT	2007	DBLP DOI BibTeX RDF	AOP, interferences, unit testing, conflicts
22	Robert Wenner	Abstract Test Aspect: Testing with AOP.	XP	2004	DBLP DOI BibTeX RDF	Abstract Test Case, Java, AOP, aspect-oriented programming, unit testing, AspectJ
22	Bartosz Walter, Blazej Pietrzak	Automated Generation of Unit Tests for Refactoring.	XP	2004	DBLP DOI BibTeX RDF	Refactoring, automation, unit testing
22	Arie van Deursen	Program Comprehension Risks and Opportunities in Extreme Programming.	WCRE	2001	DBLP DOI BibTeX RDF	reverse engineering, refactoring, Software process, collaborative work, unit testing, pair programming, evolutionary design
22	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
22	Robert E. Noonan, Richard H. Prosl	Unit testing frameworks.	SIGCSE	2002	DBLP DOI BibTeX RDF
22	Michael Kölling, Andrew Patterson	Going Interactive: Combining Ad-Hoc and Regression Testing.	XP	2004	DBLP DOI BibTeX RDF
21	Philipp Bouillon, Jens Krinke, Nils Meyer, Friedrich Steimann	EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors.	XP	2007	DBLP DOI BibTeX RDF
21	Mark Utting, Petra Malik	Unit Testing of Z Specifications.	ABZ	2008	DBLP DOI BibTeX RDF
21	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	An Evolutionary Approach for Performing Structural Unit-Testing on Third-Party Object-Oriented Java Software.	NICSO	2007	DBLP DOI BibTeX RDF
21	Cesare Pautasso	JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring.	VL/HCC	2005	DBLP DOI BibTeX RDF
21	Alwin Ibba	Mockrunner - Unit Testing of J2EE Applications.	XP	2004	DBLP DOI BibTeX RDF
21	Per Madsen	Unit Testing Using Design by Contract and Equivalence Partitions.	XP	2003	DBLP DOI BibTeX RDF
21	Jennitta Andrea	Putting a Motor on the Canoo WebTest Acceptance Testing Framework.	XP	2004	DBLP DOI BibTeX RDF	Canoo WebTest, framework extension, test automation patterns, user acceptance testing, Automated testing, testing strategy
21	Arnaud Gotlieb	Exploiting Symmetries to Test Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
20	Fabian Trautsch, Jens Grabowski	Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects.	ICST	2017	DBLP DOI BibTeX RDF
20	Suresh Thummalapenta, Madhuri R. Marri, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux	Retrofitting Unit Tests for Parameterized Unit Testing.	FASE	2011	DBLP DOI BibTeX RDF
20	Nikolai Tillmann, Wolfram Schulte	Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	test coverage of code, formal methods, validation, symbolic execution, testing tools, test design
20	Cyrille Artho, Armin Biere	Advanced Unit Testing: How to Scale up a Unit Test Framework.	AST	2006	DBLP DOI BibTeX RDF