Laura M. Castro - Citegraph

Author Info

Name	Affiliation	Papers
LAURA M. CASTRO	MADS Group, University of A Coruña, Spain	26
Collaborators	Citations	PageRank
27	50	10.39
Referers	Referees	References
84	439	247

Search Limit

100439

Publications (26 rows)

Collaborators (27 rows)

Referers (84 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Detecting oxbow code in Erlang codebases with the highest degree of certainty	0	0.34	2021
Automatic Generating Algorithm Of Rewriting Logic Specification For Multi-Agent System Models Based On Petri Nets	0	0.34	2018
Towards The Formal Development Of Software Based Systems: Access Control System As A Case Study	0	0.34	2018
Making everybody comfortable with Erlang: a SCADA system for thermal control.	0	0.34	2016
Automatic generation of UML sequence diagrams from test counterexamples.	0	0.34	2016
Kindergarten cop: dynamic nursery resizing for GHC.	0	0.34	2016
Assessing the effects of introducing a new software development process: a methodological description	3	0.42	2015
Feasibility Of Property-Based Testing For Time-Dependent Systems	2	0.40	2013
Automatic Generation of Test Models for Web Services Using WSDL and OCL.	0	0.34	2013
Business Operation Improvement through Integrated Infrastructure Management	0	0.34	2013
Turning web services descriptions into quickcheck models for automatic testing	4	0.45	2013
A language-independent approach to black-box testing using Erlang as test specification language	2	0.36	2013
Declarative distributed advertisement system for iDTV: an industrial experience	1	0.37	2012
Automatic generation of test models and properties from UML models with OCL constraints	4	0.42	2012
Failover and takeover contingency mechanisms for network partition and node failure	1	0.37	2012
Repeating History: Execution Replay for Parallel Haskell Programs.	0	0.34	2012
Testing Data Consistency of Data-Intensive Applications Using QuickCheck	5	0.53	2011
Model-based testing of data types with side effects	1	0.39	2011
A Practical Methodology for Integration Testing	2	0.40	2009
Testing Erlang data types with quviq quickcheck	22	1.15	2008
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server	0	0.34	2008
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs	2	0.40	2008
Managing The Risks Of Risk Management	0	0.34	2008
Towards a decentralized and structured network of P2P public information screens	1	0.35	2007
Verification of program properties using different theorem provers: a case study	0	0.34	2007
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio	0	0.34	2007