GLORIA

GEOMAR Library Ocean Research Information Access

X

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Automated Integration Testing Using Logical Contracts
    Institute of Electrical and Electronics Engineers (IEEE) ; 2016
    In:  IEEE Transactions on Reliability Vol. 65, No. 3 ( 2016-9), p. 1205-1222
    Details
    In: IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers (IEEE), Vol. 65, No. 3 ( 2016-9), p. 1205-1222
    Type of Medium: Online Resource
    ISSN: 0018-9529 , 1558-1721
    URL: Article
    DOI: 10.1109/TR.2015.2494685
    Language: Unknown
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Publication Date: 2016
    detail.hit.zdb_id: 2034315-2
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 2
    Online Resource
    Online Resource
    Automated Security Test Generation with Formal Threat Models
    Institute of Electrical and Electronics Engineers (IEEE) ; 2012
    In:  IEEE Transactions on Dependable and Secure Computing Vol. 9, No. 4 ( 2012-7), p. 526-540
    Details
    In: IEEE Transactions on Dependable and Secure Computing, Institute of Electrical and Electronics Engineers (IEEE), Vol. 9, No. 4 ( 2012-7), p. 526-540
    Type of Medium: Online Resource
    ISSN: 1545-5971 , 1941-0018 , 2160-9209
    URL: Article
    DOI: 10.1109/TDSC.2012.24
    Language: Unknown
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Publication Date: 2012
    detail.hit.zdb_id: 2162420-3
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 3
    Online Resource
    Online Resource
    AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS
    World Scientific Pub Co Pte Ltd ; 2009
    In:  International Journal of Software Engineering and Knowledge Engineering Vol. 19, No. 04 ( 2009-06), p. 599-623
    Details
    In: International Journal of Software Engineering and Knowledge Engineering, World Scientific Pub Co Pte Ltd, Vol. 19, No. 04 ( 2009-06), p. 599-623
    Abstract: This paper presents an approach to automated generation of executable test code from class models represented by the UML protocol state machines. It supports several coverage criteria for state models, including state coverage, transition coverage, and basic and extended round-trip coverage. It allows the tester to add and modify detailed test parameters (e.g., actual arguments for method invocations and implementation-specific environments) if necessary. When the state model is modified due to requirements change, the hand-crafted test parameters, if still valid, are automatically reused. This reduces the working load for regeneration of tests for modified models. In addition to test code, we also automatically generate state wrapper aspects in AspectJ, which facilitates comparing actual object states to expected states during test execution. This enables the automated verdict of pass/failure for test cases without the need to modify the source code of the class under test. We present two examples for which the executable test code is generated. They demonstrate the reuse of test parameters and testing of object interactions, respectively.
    Type of Medium: Online Resource
    ISSN: 0218-1940 , 1793-6403
    URL: Article
    DOI: 10.1142/S0218194009004313
    Language: English
    Publisher: World Scientific Pub Co Pte Ltd
    Publication Date: 2009
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 4
    Online Resource
    Online Resource
    An Automated Test Generation Technique for Software Quality Assurance
    Institute of Electrical and Electronics Engineers (IEEE) ; 2015
    In:  IEEE Transactions on Reliability Vol. 64, No. 1 ( 2015-3), p. 247-268
    Details
    In: IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers (IEEE), Vol. 64, No. 1 ( 2015-3), p. 247-268
    Type of Medium: Online Resource
    ISSN: 0018-9529 , 1558-1721
    URL: Article
    DOI: 10.1109/TR.2014.2354172
    Language: Unknown
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Publication Date: 2015
    detail.hit.zdb_id: 2034315-2
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 5
    Online Resource
    Online Resource
    Testing aspect‐oriented programs with finite state machines
    Wiley ; 2012
    In:  Software Testing, Verification and Reliability Vol. 22, No. 4 ( 2012-06), p. 267-293
    Details
    In: Software Testing, Verification and Reliability, Wiley, Vol. 22, No. 4 ( 2012-06), p. 267-293
    Abstract: Aspect‐oriented programming yields new types of programming faults due to the introduction of new constructs for dealing with crosscutting concerns. To reveal aspect faults, this paper presents a framework for testing whether or not aspect‐oriented programs conform to their state models. It supports two families of strategies (i.e. structure‐oriented and property‐oriented) for automated generation of aspect tests from aspect‐oriented state models. A structure‐oriented testing strategy derives tests and test code from an aspect‐oriented state model to meet a given structural coverage criterion, such as state coverage, transition coverage, or round trip. A property‐oriented testing strategy generates test code from the counterexamples of model checking. Two such strategies are checking an aspect‐oriented state model against trap properties and checking mutants of aspect models against system properties. Mutation analysis of aspect‐oriented programs is used to evaluate the effectiveness of these testing strategies. The experiments demonstrate that testing aspect‐oriented programs against their state models can detect many aspect faults. The comparative evaluations also reveal that the structure‐oriented and property‐oriented testing strategies complement each other—some aspect faults were detected by the structure‐oriented strategies, but not by the property‐oriented strategies and vice versa. Copyright © 2010 John Wiley & Sons, Ltd.
    Type of Medium: Online Resource
    ISSN: 0960-0833 , 1099-1689
    URL: Issue
    URL: Article
    DOI: 10.1002/stvr.v22.4
    DOI: 10.1002/stvr.440
    RVK:
    SA 8040
    Language: English
    Publisher: Wiley
    Publication Date: 2012
    detail.hit.zdb_id: 120252-2
    detail.hit.zdb_id: 2017691-0
    detail.hit.zdb_id: 1500326-7
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 6
    Online Resource
    Online Resource
    Statistical Unigram Analysis for Source Code Repository
    World Scientific Pub Co Pte Ltd ; 2018
    In:  International Journal of Semantic Computing Vol. 12, No. 02 ( 2018-06), p. 237-260
    Details
    In: International Journal of Semantic Computing, World Scientific Pub Co Pte Ltd, Vol. 12, No. 02 ( 2018-06), p. 237-260
    Abstract: Unigram is a fundamental element of [Formula: see text]-gram in natural language processing. However, unigrams collected from a natural language corpus are unsuitable for solving problems in the domain of computer programming languages. In this paper, we analyze the properties of unigrams collected from an ultra-large source code repository. Specifically, we have collected 1.01 billion unigrams from 0.7 million open source projects hosted at GitHub.com. By analyzing these unigrams, we have discovered statistical properties regarding (1) how developers name variables, methods, and classes, and (2) how developers choose abbreviations. We describe a probabilistic model which relies on these properties for solving a well-known problem in source code analysis: how to expand a given abbreviation to its original indented word. Our empirical study shows that using the unigrams extracted from source code repository outperforms the using of the natural language corpus by 21% when solving the domain specific problems.
    Type of Medium: Online Resource
    ISSN: 1793-351X , 1793-7108
    URL: Article
    DOI: 10.1142/S1793351X18400123
    Language: English
    Publisher: World Scientific Pub Co Pte Ltd
    Publication Date: 2018
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 7
    Online Resource
    Online Resource
    TESTING ASPECT-ORIENTED PROGRAMS WITH UML DESIGN MODELS
    World Scientific Pub Co Pte Ltd ; 2008
    In:  International Journal of Software Engineering and Knowledge Engineering Vol. 18, No. 03 ( 2008-05), p. 413-437
    Details
    In: International Journal of Software Engineering and Knowledge Engineering, World Scientific Pub Co Pte Ltd, Vol. 18, No. 03 ( 2008-05), p. 413-437
    Abstract: The new constructs in aspect-oriented programming bring new types of programming faults with respect to crosscutting concerns, such as incorrect pointcuts and advice. This paper presents a UML-based approach to testing whether or not an aspect-oriented program conforms to its expected crosscutting behavior. We explore aspect-oriented UML design models to derive tests for exercising interactions between aspects and classes. Each aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. For a method under test, we weave the sequence diagrams of the advice on the method into the method's sequence diagram. Based on the woven sequence diagram and class/aspect diagrams, we then generate an AOF (Aspect-Object Flow) tree by applying coverage criteria such as condition coverage, polymorphic coverage, and loop coverage to woven sequence diagrams. In the AOF tree, each path from the root to a leaf is an abstract message sequence, indicating a template of test cases. A concrete test case is obtained by creating objects that satisfy the collective constraints in the template. Our empirical study shows that the model-based testing approach is capable of revealing several types of aspect-specific faults, including incorrect advice type, incorrect (weaker or stronger) pointcut strengths, and incorrect aspect precedence.
    Type of Medium: Online Resource
    ISSN: 0218-1940 , 1793-6403
    URL: Article
    DOI: 10.1142/S0218194008003672
    Language: English
    Publisher: World Scientific Pub Co Pte Ltd
    Publication Date: 2008
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 8
    Online Resource
    Online Resource
    Predicting Integer Overflow Errors via Supervised Learning
    World Scientific Pub Co Pte Ltd ; 2022
    In:  International Journal on Artificial Intelligence Tools Vol. 31, No. 08 ( 2022-12)
    Details
    In: International Journal on Artificial Intelligence Tools, World Scientific Pub Co Pte Ltd, Vol. 31, No. 08 ( 2022-12)
    Abstract: An integer overflow error occurs when an integer operation in computer software evaluates a value out of the integer range. It can lead to a fatal system failure. The existing approaches to detecting integer overflow errors rely on data/control-flow analysis of the code or execution of the code with test cases. This paper presents a supervised learning approach to predicting whether each method in a given Java program has an integer overflow error by treating the source code as text. Built upon real-world programs, our Java dataset covers all integer data types and operations in Java, the methods for preventing integer overflow errors, and adversarial samples. We have evaluated six classification models, BERT, DistilBERT, codeBERT, Code2Vec, fastText, and NBSVM. They represent different text embedding techniques for dealing with source code. The experiment results show that BERT and its variants have outperformed other models. We have applied the resultant BERT model to eleven real-world projects, including JDK13.0 and ten top-ranked GitHub projects, and revealed 181 integer overflow errors. In addition, we have evaluated the classification models with a C/C++ dataset. The result is similar to that of the Java dataset.
    Type of Medium: Online Resource
    ISSN: 0218-2130 , 1793-6349
    URL: Article
    DOI: 10.1142/S0218213022500476
    Language: English
    Publisher: World Scientific Pub Co Pte Ltd
    Publication Date: 2022
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 9
    Online Resource
    Online Resource
    Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing
    Springer Science and Business Media LLC ; 2013
    In:  Journal of Grid Computing Vol. 11, No. 1 ( 2013-3), p. 103-127
    Details
    In: Journal of Grid Computing, Springer Science and Business Media LLC, Vol. 11, No. 1 ( 2013-3), p. 103-127
    Type of Medium: Online Resource
    ISSN: 1570-7873 , 1572-9184
    URL: Article
    DOI: 10.1007/s10723-012-9232-5
    Language: English
    Publisher: Springer Science and Business Media LLC
    Publication Date: 2013
    detail.hit.zdb_id: 2098457-1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 10
    Online Resource
    Online Resource
    Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets
    Institute of Electrical and Electronics Engineers (IEEE) ; 2015
    In:  IEEE Transactions on Computers Vol. 64, No. 9 ( 2015-9-1), p. 2490-2505
    Details
    In: IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), Vol. 64, No. 9 ( 2015-9-1), p. 2490-2505
    Type of Medium: Online Resource
    ISSN: 0018-9340
    URL: Article
    DOI: 10.1109/TC.2014.2375189
    RVK:
    SA 5560
    RVK:
    SQ 1100
    Language: Unknown
    Publisher: Institute of Electrical and Electronics Engineers (IEEE)
    Publication Date: 2015
    detail.hit.zdb_id: 1473005-4
    detail.hit.zdb_id: 218504-0
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...