A Constraint Based Bug Checking Approach for Python.
Lin ChenBaowen XuTianlin ZhouXiaoyu ZhouPublished in: COMPSAC (2) (2009)
Keyphrases
- open source
- source code
- programming language
- software systems
- open source software
- scripting language
- artificial intelligence
- bug reports
- constraint satisfaction
- data sets
- probabilistic model
- query language
- relational databases
- software projects
- learning environment
- object oriented programming
- graphical user interface
- development tools
- high level
- verification method
- programming tool