Testing Software using PEX
.NET Rocks!25 Nov 2014

Testing Software using PEX

While at the MVP Summit, Carl and Richard sat down with Pratap Lakshman, Peli de Halleux and Nikolai Tillman to talk about automating unit testing in .NET. Originally a Microsoft Research Project, PEX is now part of Visual Studio 2015, and digs deep into the IL of your application to generate a huge variety of unit tests. The team also talks about some of the other cool projects they've built using the PEX engine, including CodeHunt, a tool using testing to teach you to program. Check out PEX on Microsoft Research, and get ready for Studio 2015!

Support this podcast at — https://redcircle.com/net-rocks/donations

Episoder(1994)

Episode 2000!

Episode 2000!

Recorded live at the Tavern Hall in Bellevue during the Party with Palermo for the MVP Summit, it's episode 2000! Carl and Richard take questions from the audience and play clips from past guests and ...

30 Apr 1h 38min

How We Beat the Y2K Bug

How We Beat the Y2K Bug

The Y2K bug turned out to be a non-event on January 1, 2000. How did that happen? Carl and Richard bring together a number of stories from folks who were there, fixing the software and updating system...

23 Apr 48min

How AI Changes Development with Rob Conery

How AI Changes Development with Rob Conery

How are LLMs changing software development? Carl and Richard talk to Rob Conery about his experiences as a consultant bringing the new AI tools and techniques into companies. Rob talks about focusing ...

15 Apr 58min

Agentic RAG with Ed Charbeneau

Agentic RAG with Ed Charbeneau

How do you make your agents more knowledgeable about your company data? Carl and Richard talk to Ed Charbeneau about Progress Agentic RAG-as-a-Service, using NucliaDB as a vector data store to organiz...

8 Apr 1h 4min

ASP.NET Core in 2026 with Daniel Roth

ASP.NET Core in 2026 with Daniel Roth

ASP.NET Core continues to evolve in 2026! Carl and Richard talk to Daniel Roth about all the goodness in the ASP.NET Core space, including MVC, Razor, and Blazor! Daniel talks about the publicly visib...

2 Apr 1h

Coding for Security with Chris Ayers

Coding for Security with Chris Ayers

What does secure coding look like today? Carl and Richard talk to Chris Ayers about the MITRE ATT&CK matrix, a comprehensive breakdown of the tactics, techniques, and procedures black hats use to expl...

25 Mar 52min

Building Software using Squad with Brady Gaster

Building Software using Squad with Brady Gaster

Let the squad help you build your application! Carl and Richard talk to Brady Gaster about Squad, a tool for creating an AI development team using GitHub Copilot. Brady discusses creating specialist a...

19 Mar 56min

Avalonia 12 with Mike James & Matt Lacey

Avalonia 12 with Mike James & Matt Lacey

Avalonia continues to evolve! Carl and Richard talk to Avalonia CEO Mike James & Matt Lacey about the latest version of Avalonia, the open source UI framework for building cross-platform applications ...

12 Mar 58min

Populært innen Teknologi

lydartikler-fra-aftenposten
romkapsel
teknisk-sett
tomprat-med-gunnar-tjomlid
energi-og-klima
rss-impressions-2
shifter
nasjonal-sikkerhetsmyndighet-nsm
elektropodden
fornybaren
rss-heis
smart-forklart
rss-ai-forklart
hans-petter-og-co
rss-bouvet-bobler
teknologi-og-mennesker
pedagogisk-intelligens
rss-alt-vi-kan
rss-grenser-for-ki
kortslutning