Field notes on reliable software
Engineering deep-dives, research from our own tools, and dispatches from the road, on static analysis, security and the systems software we build.
Latest
The research behind Visao: how Equid became our static analyzer
Before Visao was a product, it was a research project called Equid - a language-agnostic static analysis framework built to close the gap between academic verifiers and real industrial code. Here is the paper behind our analyzer, and the ideas that carried into what we ship today.
Read the story →All stories
Embedded testing diary #2: Reproducible tests
A test result only means something if you know what changed between two runs. Here is how reproducibility works in embedded testing: resets, device state, network isolation, and run fingerprints.
Embedded testing diary #1. Device fleets.
Common problems in embedded testing: how to manage device fleets, heterogeneous test setups, and resource contention across multiple hosts.
Why embedded systems fail in production
Embedded systems often feel stable right until they leave controlled environments. The difficult part is that modern embedded systems are no longer isolated devices - they became ecosystems of interacting components.
Fast AI development is changing how software gets tested
AI changed the rhythm of software development surprisingly fast. Because of that, testing can no longer exist only as the final stage before deployment - it starts happening during development itself.
Why vulnerabilities in complex systems are hard to detect (and how to approach it)
Vulnerabilities in complex systems are not isolated bugs - they emerge from interactions, timing, and real-world conditions. Learn how static analysis and system-level testing help detect them.
We're attending SIM Conference: why events like this still matter
We'll be attending the SIM Conference this year. Less for the talks, more for real conversations with people working on real problems.
Software testing for complex systems: challenges and effective strategies
Modern software systems operate as interconnected, distributed, and hardware-dependent environments. Learn how to test complex systems effectively.
Static vs Dynamic Code Analysis: The Complete Comparison
Modern software systems are becoming increasingly complex. Understanding when and how to use static code analysis and dynamic testing is key to building reliable systems.
Embedded systems testing: methods, challenges and best practices
Embedded systems testing requires a fundamentally different approach compared to standard software testing.
WebSummit Lisbon 2025
Interpretica visited WebSummit 2025.
WebSummit Lisbon 2024
We presented our company at WebSummit.
President's Reception
We met the President of Portugal.
UPTEC Non-Stop
Pitches, talks and meetings @ UPTEC.
Above and Beyond
Hanging out with Startup Portugal.
SIM Conference 2024
We took part in SIM Conference 2024 in Porto.
WebSummit Rio 2024
With Startup Portugal team on Web Summit Rio.
No articles in this category yet.