Flick Club LogoFlick Club Logo

Generating test templates via automated theorem proving

Mani Prasad Kancherla

Software Engineering Theorem Proving Computer Programming
Clean Code
4.4 35 votes
Design Patterns
3.9 30 votes
Code Complete
4.2 22 votes
The Mythical Man-Month
4.2 28 votes
The Cathedral and the Bazaar
4.3 16 votes
Masters of Doom
4.1 32 votes
Coders at Work
4.0 18 votes
Hackers
4.1 21 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
JavaScript
4.1 30 votes
Don't Make Me Think
4.1 15 votes
Code
4.3 21 votes
The Pragmatic Programmer
4.4 41 votes
Microserfs
4.0 18 votes
The Manager's Path
4.3 15 votes
The C Programming Language
4.3 36 votes
Hackers & painters
4.0 16 votes
The Soul of a New Machine
4.1 15 votes
Algorithms to Live By
4.0 37 votes
In the Beginning...Was the Command Line
3.7 22 votes
Ghost in the wires
4.1 17 votes
Player Piano
3.8 27 votes
The Innovators
3.9 18 votes
I Am America (And So Can You!)
3.9 23 votes
Steve Jobs
4.1 141 votes
The Power of Your Subconscious Mind
4.5 21 votes
The Difference Engine
3.3 22 votes
Red Mars
3.7 67 votes
Daemon
4.1 44 votes
Rogue protocol
4.2 66 votes
Leviathan (Leviathan #1)
3.9 22 votes
When You're Ready, This Is How You Heal
4.4 15 votes
Fermat's Last Theorem
3.9 17 votes
Oh, the Places You'll Go!
3.9 34 votes
I Have to Tell You Something
3.7 48 votes
So Good They Can't Ignore You
4.0 24 votes
Do Epic Shit
4.1 23 votes
Artificial condition
4.2 59 votes
Freedom™
4.1 29 votes
Daring Greatly
3.8 24 votes
English Grammar in Use
4.1 17 votes
The 5 AM Club
3.2 16 votes
A Gentle Reminder
3.9 119 votes
All Systems Red
4.3 29 votes
The Hunger Games
4.1 401 votes
The magic of thinking big
4.7 15 votes
Moonwalking with Einstein
3.9 35 votes
3am Questions
3.1 16 votes