FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984887770> ?p ?o ?g. }

• W1984887770 endingPage "351" @default.
• W1984887770 startingPage "351" @default.
• W1984887770 abstract "This special issue contains extended versions of three papers from the Third IEEE International Conference on Software Testing, Verification and Validation (ICST 2010). These papers were selected on the basis of the reviews from members of the programme committee and subsequently subjected to additional rounds of review and revision. We issued nine invitations to this special issue. Two were not selected after submission, one chose not to revise the paper after being reviewed, three never submitted a major revision, and three papers were eventually accepted. The first paper is ‘Covering and Uncovering Equivalent Mutants’ by Schuler and Zeller. The conference version won the best paper award at ICST 2010. This paper addresses the problem of identifying equivalent mutants. A study is performed on seven real-life programs to assess the percentage of equivalent mutants, which are found to range from 25% to 70%. An approach that uses changes in test coverage to detect nonequivalent mutants is proposed and demonstrated to be superior to state-of-the-art techniques. The approach is implemented as part of the open-source JAVALANCHE framework. The second paper is ‘Efficient Mutation Testing of Multithreaded Code’ by Gligoric, Jagannath, Luo and Marinov. This paper presents a framework for efficiently exploring thread schedules during mutation testing of multithreaded programs. Five techniques are presented and implemented in a tool called MuTMuT. Evaluation studies performed on 12 multithreaded programs show that the techniques can substantially reduce the time required for mutation testing of multithreaded code. The third paper is ‘Formal Specification and Analysis of Functional Properties of Graph Rewriting-based Model Transformation’ by Asztalos, Lengyel and Levendovszky. This paper proposes a language for formally specifying the functional properties of a model transformation. The model transformations are described in a declarative way. Automated algorithms are proposed to analyse the transformations. We express our thanks to the people who contributed to the success of ICST 2010 and this special issue. The steering committee members provided valuable advice, and we were assisted by industry chairs Paul Baker, Wolfgang Grieskamp, Dominique Potier and Andreas Ulrich; workshop chairs Paul Ammann, Benoit Baudry and Ina Schieferdecker; PhD Symposium chairs Atif Memon, Manuel Nunez and Fatiha Zaidi; and the general chair Marie-Claude Gaudel. Thanks go to all the reviewers who provided detailed and timely reviews for the ICST submissions as well as the manuscripts submitted to the special issue. We are also indebted to the ICST 2010 publicity chairs Khaled El-Fakih, Vahid Garousi, Yves Le Traon and Elaine Martins and the Web chair Stephane Maag. We thank the authors for sharing their ideas and results with us. Finally, thanks go to editors-in-chief Jeff Offutt and Robert Hierons for their support and enthusiasm. ANA CAVALLI SUDIPTO GHOSH Co-chairs, Technical Program Committee ICST 2010 10 May 2013" @default.
• W1984887770 created "2016-06-24" @default.
• W1984887770 creator A5056525200 @default.
• W1984887770 creator A5072274443 @default.
• W1984887770 date "2013-06-05" @default.
• W1984887770 modified "2023-09-26" @default.
• W1984887770 title "ICST 2010 Special Issue" @default.
• W1984887770 doi "https://doi.org/10.1002/stvr.1503" @default.
• W1984887770 hasPublicationYear "2013" @default.
• W1984887770 type Work @default.
• W1984887770 sameAs 1984887770 @default.
• W1984887770 citedByCount "0" @default.
• W1984887770 crossrefType "journal-article" @default.
• W1984887770 hasAuthorship W1984887770A5056525200 @default.
• W1984887770 hasAuthorship W1984887770A5072274443 @default.
• W1984887770 hasBestOaLocation W19848877701 @default.
• W1984887770 hasConcept C104317684 @default.
• W1984887770 hasConcept C115903868 @default.
• W1984887770 hasConcept C138101251 @default.
• W1984887770 hasConcept C163565370 @default.
• W1984887770 hasConcept C185592680 @default.
• W1984887770 hasConcept C199360897 @default.
• W1984887770 hasConcept C2777904410 @default.
• W1984887770 hasConcept C2984328558 @default.
• W1984887770 hasConcept C41008148 @default.
• W1984887770 hasConcept C501734568 @default.
• W1984887770 hasConcept C55493867 @default.
• W1984887770 hasConceptScore W1984887770C104317684 @default.
• W1984887770 hasConceptScore W1984887770C115903868 @default.
• W1984887770 hasConceptScore W1984887770C138101251 @default.
• W1984887770 hasConceptScore W1984887770C163565370 @default.
• W1984887770 hasConceptScore W1984887770C185592680 @default.
• W1984887770 hasConceptScore W1984887770C199360897 @default.
• W1984887770 hasConceptScore W1984887770C2777904410 @default.
• W1984887770 hasConceptScore W1984887770C2984328558 @default.
• W1984887770 hasConceptScore W1984887770C41008148 @default.
• W1984887770 hasConceptScore W1984887770C501734568 @default.
• W1984887770 hasConceptScore W1984887770C55493867 @default.
• W1984887770 hasIssue "5" @default.
• W1984887770 hasLocation W19848877701 @default.
• W1984887770 hasOpenAccess W1984887770 @default.
• W1984887770 hasPrimaryLocation W19848877701 @default.
• W1984887770 hasRelatedWork W1515791128 @default.
• W1984887770 hasRelatedWork W1579177548 @default.
• W1984887770 hasRelatedWork W17934386 @default.
• W1984887770 hasRelatedWork W2023785576 @default.
• W1984887770 hasRelatedWork W2044527526 @default.
• W1984887770 hasRelatedWork W2058234333 @default.
• W1984887770 hasRelatedWork W2135841285 @default.
• W1984887770 hasRelatedWork W2139763472 @default.
• W1984887770 hasRelatedWork W2192249094 @default.
• W1984887770 hasRelatedWork W2583261385 @default.
• W1984887770 hasVolume "23" @default.
• W1984887770 isParatext "false" @default.
• W1984887770 isRetracted "false" @default.
• W1984887770 magId "1984887770" @default.
• W1984887770 workType "article" @default.