Using Narrowing to Test Maude Specifications-Reference-Cited by-同舟云学术

Using Narrowing to Test Maude Specifications

Published:2012 Issue: Volume: Page:201-220
ISSN:0302-9743
Container-title:Rewriting Logic and Its Applications
language:
Short-container-title:

Author:

Riesco Adrián

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34005-5_11.pdf

Reference32 articles.

1. Beizer, B.: Software testing techniques. Dreamtech (2002)

2. Lecture Notes in Computer Science,2010

3. Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science 236, 35–132 (2000)

4. Brinksma, E., Scollo, G., Steenbergen, C.: LOTOS specifications, their implementations and their tests. In: Protocol Specification, Testing, and Verification VI, pp. 349–360 (1987)

5. Cartaxo, E.G., Neto, F.G.O., Machado, P.D.L.: Test case generation by means of UML sequence diagrams and labeled transition systems. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 2007, pp. 1292–1297. IEEE (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MUnit: A Unit Framework for Maude;Rewriting Logic and Its Applications;2018

2. Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search;BioMed Research International;2017

3. Symbolic execution of high-level transformations;Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering;2016-10-20

4. Using Semantics Specified in Maude to Generate Test Cases;Theoretical Aspects of Computing – ICTAC 2012;2012