Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Danhua Shao"'
Publikováno v:
ISSRE
We present a novel approach to optimize incremental scope-bounded checking of programs using a relational constraint solver. Given a program and its correctness specification, scope-bounded checking encodes control-flow and data-flow of bounded code
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93958949cff33fbb19dbe902b7dd82bd
https://doi.org/10.1109/issre.2010.27
https://doi.org/10.1109/issre.2010.27
Publikováno v:
Abstract State Machines, Alloy, B and Z ISBN: 9783642118104
ASM
ASM
In software verification, scope-bounded checking of programs has become an effective technique for finding subtle bugs. Given bounds (that are iteratively relaxed) on input size and length of execution paths, a program and its correctness specificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b55c83fb1af751fabf4f97247ff5f07c
https://doi.org/10.1007/978-3-642-11811-1_30
https://doi.org/10.1007/978-3-642-11811-1_30
Publikováno v:
ESEC/SIGSOFT FSE
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we have designed and implemented a semantic conflict analyzer (SCA) to dete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0da04d2e76f026a5aa1ad2fd99c490e
https://doi.org/10.1145/1595696.1595747
https://doi.org/10.1145/1595696.1595747
Publikováno v:
FM 2009: Formal Methods ISBN: 9783642050886
FM
FM
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional approach translates a bounded code segment of the entire program into a d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af7aeb46cc177591348a64af360c077b
https://doi.org/10.1007/978-3-642-05089-3_48
https://doi.org/10.1007/978-3-642-05089-3_48
Publikováno v:
Australian Software Engineering Conference
Changes to source code have become a critical factor in fault predictions. Text or syntactic approaches have been widely used. Textual analysis focuses on changed text fragments while syntactic analysis focuses on changed syntactic entities. Although
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aba78b9689a5fe68d12fa7f277df42b0
https://doi.org/10.1109/aswec.2009.14
https://doi.org/10.1109/aswec.2009.14
Publikováno v:
ICSM
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed that there was a linear correlation between the degree of parallelism a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec3ddd6fc4073e25933a1bfd993cbc24
https://doi.org/10.1109/icsm.2007.4362620
https://doi.org/10.1109/icsm.2007.4362620
Publikováno v:
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).
Software testing, the most commonly used technique for validating the quality of software, is a labor intensive process, and typically accounts for about half the total cost of software development and maintenance. Automating testing not only reduces
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::038175a77c79a999beee140512e92622
https://doi.org/10.1109/taic.part.2007.36
https://doi.org/10.1109/taic.part.2007.36
Publikováno v:
SHARK/ADI@ICSE
The need for architectural rationale has long been recognized, but unfortunately it has remained a relatively unexplored area of research in software architecture. However, there is growing interest in methods for capturing the rationale behind softw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18935e61e538aed07aefd965f2d84a5d
https://doi.org/10.1109/shark-adi.2007.2
https://doi.org/10.1109/shark-adi.2007.2
Publikováno v:
Proceedings of the 2007 Symposium on Library-Centric Software Design - LCSD '07.
We present a novel framework, Whispec, for white-box testing of methods that manipulate structurally complex data, such as those that pervade library classes. Given method preconditions as declarative constraints, our framework systematically generat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48404ace6de65fe2c13ede7808c2df68
https://doi.org/10.1145/1512762.1512764
https://doi.org/10.1145/1512762.1512764
Publikováno v:
COMPSAC
The publish/subscribe paradigm provides a loosely coupled form of interaction that is well suitable for the large-scale distributed systems. In this paper, we introduce the semantic Web technologies into the publish/subscribe systems and propose a ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4dcb167abd0497c8a16cba3e82d7d144
https://doi.org/10.1109/cmpsac.2004.1342818
https://doi.org/10.1109/cmpsac.2004.1342818