Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tianchi Li

Haskell Compiler Testing Automation Based on Equivalence-Modulo-Inputs Method

2019English

Related publications

Confluence Modulo Equivalence in Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Exhaustive Model-Based Equivalence Class Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Compiler-Aided Methodology for Low Overhead On-Line Testing

2013English

Equivalence Classes of Permutations Modulo Descents and Left-To-Right Maxima

Pure Mathematics and Applications
2015English

A Generation Method of Automation Test Cases Based on Android

2017English

Archaeological Testing of Site 41HK28 Haskell County, Texas

Index of Texas Archaeology: Open Access Gray Literature from the Lone Star State
1985English

Building Obfuscation Compiler Based on LLVM Infrastructure

Proceedings of the Institute for System Programming of RAS
2012English

Research on the Investment Information Automation Problem Based on the Clustering Analysis Method

2015English

New Software Testing Method Based on Evolutionary Algorithm

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy