TAIC PART - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 59 from 59

2010

A Fault Injection Tool for Testing Web Services CompositionFayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti. taicpart 2010: 137-146 [doi]

Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. ProceedingsLeonardo Bottaci, Gordon Fraser, editors, Volume 6303 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Towards Run-Time Monitoring of Web Services Conformance to Business-Level AgreementsKonstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons. taicpart 2010: 203-206 [doi]

A New Approach for Software TestabilityLydie du Bousquet. taicpart 2010: 207-210 [doi]

Localizing Defects in Multithreaded Programs by Mining Dynamic Call GraphsFrank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm. taicpart 2010: 56-71 [doi]

An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage InformationVahid Garousi, Negar Koochakzadeh. taicpart 2010: 189-193 [doi]

Microsoft s Protocol Documentation Program: A Success Story for Model-Based TestingWolfgang Grieskamp. taicpart 2010: 7 [doi]

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlangQiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund. taicpart 2010: 23-38 [doi]

A Generic Approach to Run Mutation AnalysisSiamak Haschemi, Stephan Weißleder. taicpart 2010: 155-164 [doi]

DOM Transactions for Testing JavaScriptPhillip Heidegger, Annette Bieniusa, Peter Thiemann. taicpart 2010: 211-214 [doi]

Testing and Proving, Hand-in-HandTony Hoare. taicpart 2010: 5-6 [doi]

Bad Pairs in Software TestingDaniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo. taicpart 2010: 39-55 [doi]

Filtering Test Models to Support Incremental TestingAntti Jääskeläinen. taicpart 2010: 72-87 [doi]

Linguistic Security Testing for Text Communication ProtocolsBen W. Y. Kam, Thomas R. Dean. taicpart 2010: 104-117 [doi]

TeCReVis: A Tool for Test Coverage and Test Redundancy VisualizationNegar Koochakzadeh, Vahid Garousi. taicpart 2010: 129-136 [doi]

Synthesis of On-Line Planning Tester for Non-deterministic EFSM ModelsMarko Kääramees, Jüri Vain, Kullo Raiend. taicpart 2010: 147-154 [doi]

Improved Testing through Refactoring: Experience from the ProTest ProjectHuiqing Li, Simon J. Thompson. taicpart 2010: 198-202 [doi]

Automatic Testing and Fixing for Eiffel - (Extended Abstract)Bertrand Meyer. taicpart 2010: 1-4 [doi]

Mining API PopularityYana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller. taicpart 2010: 173-180 [doi]

Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?Mihai Nica, Simona Nica, Franz Wotawa. taicpart 2010: 88-103 [doi]

The GZoltar Project: A Graphical Debugger InterfaceAndré Riboira, Rui Abreu. taicpart 2010: 215-218 [doi]

Automatic Discovery of Unspecified Behaviors in Automotive Control SoftwareMuzammil Shahbaz, Robert Eschbach. taicpart 2010: 181-188 [doi]

Masking Boundary Value Coverage: Effectiveness and EfficiencyP. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh. taicpart 2010: 8-22 [doi]

A Multi-criteria Decision Making Framework for Real Time Model-Based TestingMohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea. taicpart 2010: 194-197 [doi]

The Practical Assessment of Test Sets with Inductive Inference TechniquesNeil Walkinshaw. taicpart 2010: 165-172 [doi]

An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial EvaluationChristian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar. taicpart 2010: 118-128 [doi]

2006

Keynotestaicpart 2006: [doi]

Prefacetaicpart 2006: [doi]

Program Committeetaicpart 2006: [doi]

TAIC PART Collaboratorstaicpart 2006: [doi]

TAIC PART Organizationtaicpart 2006: [doi]

TAIC PART Programtaicpart 2006: [doi]

TAIC PART Sponsorstaicpart 2006: [doi]

AutoAbstract: Problem Statement and Hypothetical SolutionsShaukat Ali. taicpart 2006: 75-80 [doi]

Using Program Data-State Diversity in Test Data SearchMohammad Alshraideh, Leonardo Bottaci. taicpart 2006: 107-114 [doi]

MATRIX: Maintenance-Oriented Testing Requirements Identifier and ExaminerTaweesup Apiwattanapong, Raúl A. Santelices, Pavan Kumar Chittimalli, Alessandro Orso, Mary Jean Harrold. taicpart 2006: 137-146 [doi]

TRex - The Refactoring and Metrics Tool for TTCN-3 Test SpecificationsPaul Baker, Dominic Evans, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss. taicpart 2006: 90-94 [doi]

Enabling Run-Time System Verification through Built-In TestingDaniel Brenner. taicpart 2006: 131-136 [doi]

The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency GraphSteve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun. taicpart 2006: 181-192 [doi]

A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing TechniquesSigrid Eldh, Hans Hansson, Sasikumar Punnekkat, Anders Pettersson, Daniel Sundmark. taicpart 2006: 159-170 [doi]

Generation of Conformance Test Suites for Compositions of Web Services Using Model CheckingJosé García-Fanjul, Claudio de la Riva, Javier Tuya. taicpart 2006: 127-130 [doi]

Delayed Failures in Software Using High Volume Automated TestingJeremy Gardiner. taicpart 2006: 193-196 [doi]

Justifying Software Testing in the 21st CenturyIan Gilchrist. taicpart 2006: 23-28 [doi]

Generating a Test Strategy with Bayesian Networks and Common SenseJean-Jacques Gras, Rishabh Gupta, Elena Pérez-Miñana. taicpart 2006: 29-40 [doi]

On the Testing Maturity of Software Producing OrganizationsMats Grindal, Jeff Offutt, Jonas Mellin. taicpart 2006: 171-180 [doi]

Improving Testing Efficiency using Cumulative Test AnalysisIan Holden, Dave Dalton. taicpart 2006: 152-158 [doi]

Empirical Assessment of Test-First ApproachLiang Huang, Mike Holcombe. taicpart 2006: 197-202 [doi]

Towards Deploying Model-Based Testing with a Domain-Specific Modeling ApproachMika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama. taicpart 2006: 81-89 [doi]

Integration Testing of Components Guided by Incremental State Machine LearningKeqin Li, Roland Groz, Muzammil Shahbaz. taicpart 2006: 59-70 [doi]

Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United KingdomPhil McMinn, editor, IEEE Computer Society, 2006.

An XP Inspired Test-Oriented Life-Cycle Production Strategy for Building Embedded Biomedical ApplicationsJames Miller, Michael R. Smith, Steve Daenick, Jingwen Chen, Juan Qiao, Fang Huang, Andrew Kwan, Marc Roper. taicpart 2006: 95-106 [doi]

On the Automation of Software Fault PredictionThomas J. Ostrand, Elaine J. Weyuker. taicpart 2006: 41-48 [doi]

Extending Software Integration Testing Using Aspects in Symbian OSJani Pesonen. taicpart 2006: 147-151 [doi]

Bogor: A Flexible Framework for Creating Software Model CheckersRobby, Matthew B. Dwyer, John Hatcliff. taicpart 2006: 3-22 [doi]

Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience ReportSerguei A. Roubtsov, Petra Heck. taicpart 2006: 211-220 [doi]

Incremental Inference of Black-Box Components to Support Integration TestingMuzammil Shahbaz. taicpart 2006: 71-74 [doi]

Testing a Datawarehouse - An Industrial ChallengeHarry M. Sneed. taicpart 2006: 203-210 [doi]

Identifying State Transitions and their Functions in Source CodeNeil Walkinshaw, Kirill Bogdanov, Mike Holcombe. taicpart 2006: 49-58 [doi]

Testing the Implementation of Business Rules Using Intensional Database TestsDavid Willmor, Suzanne M. Embury. taicpart 2006: 115-126 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

TAIC PART (taicpart)

Viewing Publication 1 - 59 from 59

2010

2006

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

TAIC PART (taicpart)

Viewing Publication 1 - 59 from 59

2010

2006

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1