Ana Belén Sánchez
Information Systems · 2016
A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Information Systems — 8 citations into it
- Software — 7 citations into it
Whom Ana Belén Sánchez trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Ana Belén Sánchez's perspective
Ordered by how strongly the researchers Ana Belén Sánchez trusts endorse each paper. Same corpus, a different order for every researcher.
- The Daikon system for dynamic detection of likely invariants (Science of Computer Programming)
- Analyzing the Past to Prepare for the Future: Writing a Literature Review (MIS Q.)
- Procedures for Performing Systematic Reviews
- The Oracle Problem in Software Testing: A Survey (IEEE Transactions on Software Engineering)
- Compiler validation via equivalence modulo inputs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- An orchestrated survey of methodologies for automated software test case generation (Journal of Systems and Software)
- Testing and Validating Machine Learning Classifiers by Metamorphic Testing (Journal of Systems and Software)
- Symbolic execution for software testing: three decades later
- Regression testing minimization, selection and prioritization: a survey (Software testing, verification & reliability)
- iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator (Journal of Grid Computing)
Their papers
- A Survey on Metamorphic Testing (2016) — 549 citations