automated testing for JavaScript
☆36Feb 1, 2018Updated 8 years ago
Alternatives and similar repositories for Artemis
Users that are interested in Artemis are comparing it to the libraries listed below
Sorting:
- ☆14May 17, 2017Updated 8 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆16Jun 5, 2018Updated 7 years ago
- Structure-Invariant Testing for Machine Translation [ICSE'20]☆16Dec 17, 2020Updated 5 years ago
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆123May 29, 2015Updated 10 years ago
- Programmable UI-Automation Framework for Dynamic App Analysis☆48Sep 2, 2014Updated 11 years ago
- WALA analyses and tools that are implemented in JavaScript☆81Oct 25, 2016Updated 9 years ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- Dynamic analysis framework for JavaScript☆484Jan 10, 2026Updated last month
- RERAN - Record and Replay for Android☆40Jul 30, 2016Updated 9 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- ☆10Sep 10, 2023Updated 2 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- ☆12Feb 2, 2024Updated 2 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated 2 weeks ago
- ☆10Apr 26, 2023Updated 2 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated 2 months ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Jan 17, 2022Updated 4 years ago
- A Prototype of Sapienz (Out-of-date and no longer supported)☆81Aug 27, 2017Updated 8 years ago
- A Z3-Based String Constraint Solver☆87Jan 1, 2020Updated 6 years ago
- Catmull-Clark subdivision surface deformation tool.☆12Mar 7, 2017Updated 9 years ago
- ☆10Jun 2, 2017Updated 8 years ago
- a external renderer addon for oF☆23Nov 12, 2018Updated 7 years ago
- A file storage system for SQL databases inspired by GridFS☆16Aug 30, 2022Updated 3 years ago
- A better looking NSColorWell, with a simple popover color picker.☆28Jan 20, 2015Updated 11 years ago
- A tool for learning bug patterns.☆11Jul 19, 2016Updated 9 years ago
- AI generated slop to convert html to hiccup☆11Mar 11, 2025Updated 11 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Pub/sub prototype 50x faster than Redis☆14Nov 25, 2016Updated 9 years ago
- ☆12Feb 4, 2026Updated last month
- A Clojure facade for the FoundationDB record-layer☆15Dec 10, 2025Updated 2 months ago