analysis

The ability to verify contracts either statically or dynamically, coupled with recent advances in proof technology, has opened up a new and promising approach to verification. Critical code can be proved with formal methods, and less critical code can be verified using traditional testing, with a clear separation at the interfaces between the two.

When testing an application, have you ever thought to yourself, "I wonder who uses this"? Examining the app's logs can give you some idea. Logs are helpful for testers because they provide real feedback and insight into an application as it’s being used, as well as information that describes or can even help solve bugs. Here's how to use them to inform your testing.

In this interview, two STAREAST speakers explain how organizations are discovering the value in their data. Catherine Cruz Agosto and Shauna Ayers define data profiling and its importance, delve into different strategies you can use, and discuss how to get the most out of your data.

The hype around the Internet of Things is at its peak. Should you bother learning the skills developers and testers require in this new field, or will it soon become just another trend that's fallen out of favor? Jon Hagar makes a strong case for why the IoT will be relevant even after the clamor dies down, and why its associated skills will serve you well no matter what.