Talk slides on "Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet." at the 3rd International Workshop on Games and Software Engineering
(GAS 2013), San Francisco, CA, May 2013.
Teaching and Learning Programming and Software Engineering via Interactive Ga...Tao Xie
Pex4Fun (http://www.pex4fun.com/) is a web-based educational gaming environment for teaching and learning programming and software engineering. Pex4Fun can be used to teach and learn programming and software engineering at many levels, from high school all the way through graduate courses. With Pex4Fun, a student edits code in any browser – with Intellisense – and Pex4Fun executes it and analyzes it in the cloud. Pex4Fun connects teachers, curriculum authors, and students in a unique social experience, tracking and streaming progress updates in real time. In particular, Pex4Fun finds interesting and unexpected input values (with Pex, an advanced test-generation tool) that help students understand what their code is actually doing. The real fun starts with coding duels where a student writes code to implement a teacher's secret specification (in the form of sample-solution code not visible to the student). Pex4Fun finds any discrepancies in behavior between the student’s code and the secret specification. Such discrepancies are given as feedback to the student to guide how to fix the student’s code to match the behavior of the secret specification. In early 2014, Code Hunt (https://www.codehunt.com/) has been released as a redesign of Pex4Fun as game.
211119 (wr) v1 when f2 f synchronous asynchronous online learningWilfredRubens.com
Bij het ontwerpen van blended learning kun je kiezen tussen de drie manieren in de titel van deze post. Op 2 december 2021 heb ik tijdens de Online Educa in Berlijn een sessie verzorgd over didactische overwegingen die je hierbij kunt hanteren.
Teaching and Learning Programming and Software Engineering via Interactive Ga...Tao Xie
Pex4Fun (http://www.pex4fun.com/) is a web-based educational gaming environment for teaching and learning programming and software engineering. Pex4Fun can be used to teach and learn programming and software engineering at many levels, from high school all the way through graduate courses. With Pex4Fun, a student edits code in any browser – with Intellisense – and Pex4Fun executes it and analyzes it in the cloud. Pex4Fun connects teachers, curriculum authors, and students in a unique social experience, tracking and streaming progress updates in real time. In particular, Pex4Fun finds interesting and unexpected input values (with Pex, an advanced test-generation tool) that help students understand what their code is actually doing. The real fun starts with coding duels where a student writes code to implement a teacher's secret specification (in the form of sample-solution code not visible to the student). Pex4Fun finds any discrepancies in behavior between the student’s code and the secret specification. Such discrepancies are given as feedback to the student to guide how to fix the student’s code to match the behavior of the secret specification. In early 2014, Code Hunt (https://www.codehunt.com/) has been released as a redesign of Pex4Fun as game.
211119 (wr) v1 when f2 f synchronous asynchronous online learningWilfredRubens.com
Bij het ontwerpen van blended learning kun je kiezen tussen de drie manieren in de titel van deze post. Op 2 december 2021 heb ik tijdens de Online Educa in Berlijn een sessie verzorgd over didactische overwegingen die je hierbij kunt hanteren.
Presentation file for Alexandre Enkerli's workshop on exploring online tools for teaching. Concordia University's Centre for Teaching and Learning Services (CTLS), November 12, 2007.
Presentation file for Alexandre Enkerli's workshop on exploring online tools for teaching. Concordia University's Centre for Teaching and Learning Services (CTLS), November 12, 2007.
The Structure and Components for the Open Education EcosystemHans Põldoja
Lectio Praecursoria in the doctoral defense, 23 September 2016. Aalto University School of Arts, Design and Architecture. Helsinki, Finland.
The disseration can be downloaded from https://shop.aalto.fi/media/attachments/748b6/Poldoja_verkkoversio.pdf
Op 26 november 2020 heb ik voor medewerkers van de universiteit van Tilburg een online sessie verzorgd over het ontwikkelen en verzorgen van online en blended learning.
Learning Analytics for Educational Design and Student Predictions: Beyond the...Nynke Bos
Interaction in this session will increase your insight into the tricky business of managing data. Subsequently, two examples will illustrate how learning analytics is being used to shape didactic frameworks and educational design (University of Amsterdam) and how it is being used to provide adaptive learning opportunities for students (University of Michigan).
A small introduction to Cellular Automata and their philosophical consequences.
Presented @ Università degli Studi di Bergamo (Italy) on 29/05/2013 during the Theoretical Computer Science class taught by Prof. Mario Verdicchio.
[Warning: the presentation is not meant to be studied but to provide the presenter a visual canvas that needs to be filled with her words]
Presentation file for Alexandre Enkerli's workshop on exploring online tools for teaching. Concordia University's Centre for Teaching and Learning Services (CTLS), November 12, 2007.
Presentation file for Alexandre Enkerli's workshop on exploring online tools for teaching. Concordia University's Centre for Teaching and Learning Services (CTLS), November 12, 2007.
The Structure and Components for the Open Education EcosystemHans Põldoja
Lectio Praecursoria in the doctoral defense, 23 September 2016. Aalto University School of Arts, Design and Architecture. Helsinki, Finland.
The disseration can be downloaded from https://shop.aalto.fi/media/attachments/748b6/Poldoja_verkkoversio.pdf
Op 26 november 2020 heb ik voor medewerkers van de universiteit van Tilburg een online sessie verzorgd over het ontwikkelen en verzorgen van online en blended learning.
Learning Analytics for Educational Design and Student Predictions: Beyond the...Nynke Bos
Interaction in this session will increase your insight into the tricky business of managing data. Subsequently, two examples will illustrate how learning analytics is being used to shape didactic frameworks and educational design (University of Amsterdam) and how it is being used to provide adaptive learning opportunities for students (University of Michigan).
A small introduction to Cellular Automata and their philosophical consequences.
Presented @ Università degli Studi di Bergamo (Italy) on 29/05/2013 during the Theoretical Computer Science class taught by Prof. Mario Verdicchio.
[Warning: the presentation is not meant to be studied but to provide the presenter a visual canvas that needs to be filled with her words]
Cellular Automata Models of Social ProcessesSSA KPI
AACIMP 2010 Summer School lecture by Alexander Makarenko. "Applied Mathematics" stream. "General Tasks and Problems of Modelling of Social Systems. Problems and Models in Sustainable Development" course. Part 7.
More info at http://summerschool.ssa.org.ua
Every tech guy in my office has to take a seminar on some something software engineering or science
related topic. I took the topic Cellular Automata. I tried here to present here what I have read about
Cellular Automata for 1 month. Being a software engineer I have little opportunity to get everything
vividly. But I tried a little to make people feel something on cellular automata.
This is just a try from a reader not by an expert or scientist. So if anything objectionable is found please
let me be known to that. Some code and application samples were shown in the original seminar which are not given
here. Only the slide is given here.
Thanks for your co operation
Presented 2015-08-24 at SF Bay ACM, held at the eBay south campus in San Jose.
http://meetup.com/SF-Bay-ACM/events/221693508/
Project Jupiter https://jupyter.org/ evolved from IPython notebooks, and now supports a wide variety of programming language back-ends. Notebooks have proven to be effective tools used in Data Science, providing convenient packages for what Don Knuth coined as "literate programming" in the 1980s: code plus exposition in markdown. Results of running the code appear in-line as interactive graphics -- all packaged as collaborative, web-based documents. Some have said that the introduction of cloud-based notebooks is nearly as large of a fundamental change in software practice as the introduction of spreadsheets.
O'Reilly Media has been considering the question, "What comes after books and video?" Or, as one might imagine more pointedly, what comes after Kindle? To that point we have collaborated with Project Jupyter to integrate notebooks into our content management process, allowing authors to generate articles, tutorials, reports, and other media products as notebooks that also incorporate video segments. Code dependencies are containerized using Docker, and all of the content gets managed in Git repositories. We have added another layer, an open source project called Thebe that provides a kind of "media player" for embedding the containerized notebooks into web pages
Learning Analytics and how to use in educational or serious games for improving the use of the games
game traces
evidence based education
Talk at the Ecole Normal Superior, Lyon, France
Learn about SBAC's definition for formative assessment and tech tools that can be used to gather student data, give feedback, and capture student thinking.
Pedagogical theory for e-Learning Design: From ideals to reality?PEDAGOGY.IR
Pedagogical theory for e-Learning Design: From ideals to reality?
Daniel K. SchneiderTECFA –FPSE -Universitéde Genève
daniel.schneider@unige.ch
9th Iranian Conference on e-Learning
KharazmiUniversity, Teheran
Thursday, March 12, 2015
A big part of the TechBoomers.com mission is to empower libraries and other technology training organizations by offering our free video and article tutorials to help them teach digital literacy. Libraries of all sizes find our educational content to be a great asset to build their programs around, as it saves them the time and effort of preparing training materials for websites that are constantly changing. TechBoomers.com can also be a valuable tool to encourage students to continue learning at home on their own time
To help spread the word about this, TechBoomers.com has teamed up with the Nebraska Library Commission to run a webinar that will explain all the ways libraries can leverage free resource websites like TechBoomers.com to help them teach digital literacy.
NCompass Live - 2/3/16
http://nlc.nebraska.gov/ncompasslive/
A big part of the TechBoomers.com mission is to empower libraries and other technology training organizations by offering our free video and article tutorials to help them teach digital literacy. Libraries of all sizes find our educational content to be a great asset to build their programs around, as it saves them the time and effort of preparing training materials for websites that are constantly changing. TechBoomers.com can also be a valuable tool to encourage students to continue learning at home on their own time
To help spread the word about this, TechBoomers.com has teamed up with the Nebraska Library Commission to run a webinar that will explain all the ways libraries can leverage free resource websites like TechBoomers.com to help them teach digital literacy.
Presenter: Steve Black, Founder and CEO, TechBoomers.com.
Similar to Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet (20)
MSR 2022 Foundational Contribution Award Talk: Software Analytics: Reflection...Tao Xie
MSR 2022 Foundational Contribution Award Talk on "Software Analytics: Reflection and Path Forward" by Dongmei Zhang and Tao Xie
https://conf.researchr.org/info/msr-2022/awards
Diversity and Computing/Engineering: Perspectives from AlliesTao Xie
Slides from the invited talk given on Feb 13, 2019 being part of a diversity and inclusion week - Infusion 2019. Infusion is a diversity focused week for the Illinois College of Engineering, hosted by the Dean's Student Advisory Committee of Engineering Council. This invited talk was co-hosted by the NSBE - UIUC chapter.
Intelligent Software Engineering: Synergy between AI and Software Engineering...Tao Xie
2018 Distinguished Speaker, the UC Irvine Institute for Software Research (ISR) Distinguished Speaker Series 2018-2019. "Intelligent Software Engineering: Synergy between AI and Software Engineering" http://isr.uci.edu/content/isr-distinguished-speaker-series-2018-2019
MSRA 2018: Intelligent Software Engineering: Synergy between AI and Software ...Tao Xie
Invited Talk at the 2018 Computing in the 21st Century Conference & Asia Faculty Summit on MSRA’s 20th Anniversary https://www.microsoft.com/en-us/research/event/computing-in-the-21st-century-conference-asia-faculty-summit-on-msras-20th-anniversary/#!agenda
SETTA'18 Keynote: Intelligent Software Engineering: Synergy between AI and So...Tao Xie
2018 Keynote Speaker, Symposium on Dependable Software Engineering - Theories, Tools and Applications (SETTA 2018). "Intelligent Software Engineering: Synergy between AI and Software Engineering" http://confesta2018.csp.escience.cn/dct/page/65581
Transferring Software Testing Tools to PracticeTao Xie
ACM SIGSOFT Webinar co-presented by Nikolai Tillmann (Microsoft), Judith Bishop (Microsoft Research), Pratap Lakshman (Microsoft), Tao Xie (University of Illinois at Urbana-Champaign) http://www.sigsoft.org/resources/webinars.html
Transferring Software Testing and Analytics Tools to PracticeTao Xie
Keynote Talk in the Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2016) http://www2016.taicpart.org/
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...SOFTTECHHUB
The choice of an operating system plays a pivotal role in shaping our computing experience. For decades, Microsoft's Windows has dominated the market, offering a familiar and widely adopted platform for personal and professional use. However, as technological advancements continue to push the boundaries of innovation, alternative operating systems have emerged, challenging the status quo and offering users a fresh perspective on computing.
One such alternative that has garnered significant attention and acclaim is Nitrux Linux 3.5.0, a sleek, powerful, and user-friendly Linux distribution that promises to redefine the way we interact with our devices. With its focus on performance, security, and customization, Nitrux Linux presents a compelling case for those seeking to break free from the constraints of proprietary software and embrace the freedom and flexibility of open-source computing.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
Le nuove frontiere dell'AI nell'RPA con UiPath Autopilot™UiPathCommunity
In questo evento online gratuito, organizzato dalla Community Italiana di UiPath, potrai esplorare le nuove funzionalità di Autopilot, il tool che integra l'Intelligenza Artificiale nei processi di sviluppo e utilizzo delle Automazioni.
📕 Vedremo insieme alcuni esempi dell'utilizzo di Autopilot in diversi tool della Suite UiPath:
Autopilot per Studio Web
Autopilot per Studio
Autopilot per Apps
Clipboard AI
GenAI applicata alla Document Understanding
👨🏫👨💻 Speakers:
Stefano Negro, UiPath MVPx3, RPA Tech Lead @ BSP Consultant
Flavio Martinelli, UiPath MVP 2023, Technical Account Manager @UiPath
Andrei Tasca, RPA Solutions Team Lead @NTT Data
The Metaverse and AI: how can decision-makers harness the Metaverse for their...Jen Stirrup
The Metaverse is popularized in science fiction, and now it is becoming closer to being a part of our daily lives through the use of social media and shopping companies. How can businesses survive in a world where Artificial Intelligence is becoming the present as well as the future of technology, and how does the Metaverse fit into business strategy when futurist ideas are developing into reality at accelerated rates? How do we do this when our data isn't up to scratch? How can we move towards success with our data so we are set up for the Metaverse when it arrives?
How can you help your company evolve, adapt, and succeed using Artificial Intelligence and the Metaverse to stay ahead of the competition? What are the potential issues, complications, and benefits that these technologies could bring to us and our organizations? In this session, Jen Stirrup will explain how to start thinking about these technologies as an organisation.
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
Welcome to the first live UiPath Community Day Dubai! Join us for this unique occasion to meet our local and global UiPath Community and leaders. You will get a full view of the MEA region's automation landscape and the AI Powered automation technology capabilities of UiPath. Also, hosted by our local partners Marc Ellis, you will enjoy a half-day packed with industry insights and automation peers networking.
📕 Curious on our agenda? Wait no more!
10:00 Welcome note - UiPath Community in Dubai
Lovely Sinha, UiPath Community Chapter Leader, UiPath MVPx3, Hyper-automation Consultant, First Abu Dhabi Bank
10:20 A UiPath cross-region MEA overview
Ashraf El Zarka, VP and Managing Director MEA, UiPath
10:35: Customer Success Journey
Deepthi Deepak, Head of Intelligent Automation CoE, First Abu Dhabi Bank
11:15 The UiPath approach to GenAI with our three principles: improve accuracy, supercharge productivity, and automate more
Boris Krumrey, Global VP, Automation Innovation, UiPath
12:15 To discover how Marc Ellis leverages tech-driven solutions in recruitment and managed services.
Brendan Lingam, Director of Sales and Business Development, Marc Ellis
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886
2. Educational Software Engineering
develops software engineering (+gaming)
technologies for general educational
tasks, going beyond educational tasks for
software engineering (e.g., software
engineering education)
aka. Software Engineering for Education
3. Example Education Tasks
• Automated Grading
• Intelligent Tutoring System
• Automatic Problem Generation
• Plagiarism Detection
Math
Programming/Software Engineering
…
…
For
4. Relationship/Analogy to Other Fields
• Educational Software Engineering
– Use Software Engineering for Education
• Educational Gaming (Gamification of Education)
– Use Gaming for Education
• Educational Data Mining
– Use Data Mining for Education
• Mining Software Repositories
– Use Data Mining for Software Engineering
5. Broader Scope(?)
• Currently, software engineering technologies as
infrastructure support for educational tools
– E.g., Pex for Fun
• Software engineering for developing educational
games or generally educational tools
– E.g., SQA for educational-game software
• Software engineering tools or processes to assist
development of educational tools
7. Coding Duels
Pex computes “semantic diff” in cloud
secret reference implementation vs.
code written in browser
You win when Pex finds no differences
8. Behind the Scene of Pex for Fun
Secret Implementation
class Secret {
public static int Puzzle(int x) {
if (x <= 0) return 1;
return x * Puzzle(x-1);
}
}
Player Implementation
class Player {
public static int Puzzle(int x) {
return x;
}
}
class Test {
public static void Driver(int x) {
if (Secret.Puzzle(x) != Player.Puzzle(x))
throw new Exception(“Mismatch”);
}
}
behavior
Secret Impl == Player Impl
8
9. Coding Duels
Fun and Engaging
Iterative gameplay
Adaptive
Personalized
No cheating
Clear winning criterion
11. Example User Feedback
“It really got me *excited*. The part that got me most is
about spreading interest in teaching CS: I do think that it’s
REALLY great for teaching | learning!”
“I used to love the first person shooters and the
satisfaction of blowing away a whole team of
Noobies playing Rainbow Six, but this is far more
fun.”
“I’m afraid I’ll have to constrain myself to spend just an hour
or so a day on this really exciting stuff, as I’m really stuffed
with work.”
Released since 2010
X
15. Usage Scenarios of Pex4Fun
• Massive Open Online Courses (MOOC): Challenges
– Grading, addressed by Pex4Fun
– Cheating [Open Challenge]
• Course assignments (students/professionals)
– E.g., intro programming, software engineering
• Student/professional competitions
– E.g., coding-duel competition at ICSE 2011
• Assessment of testing/programming/problem
solving skills for job applicants
– Not just final results of problem solving but also process!
16. Educational Software Engineering
develops software engineering (+gaming)
technologies for general educational tasks
http://pex4fun.com
Q & A
Thank you!
Acknowledgments: NSF grants CCF-0845272, CCF-0915400, CNS-0958235, CNS-1160603,
a Microsoft Research SEIF Award, and a Microsoft Research Award.
17. Limitations
16K characters of code (single file / editor window)*
Single-threaded only
No environment interactions*
No non-determinism*
Try to avoid floating-point computations
Max. 20s total exploration time*
* Limitation only applies to pex4fun.com, but not standalone Pex tool