Top Tweets for #PropertyTesting
Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data.
#LeanProver #Metaprogramming #VSCode #PropertyTesting
Implementing property-based testing that automatically generates test cases to find edge cases conventional tests might miss! #SoftwareEngineering #PropertyTesting
#PropertyTesting Pattern: Some things never change
Examples:
- Adding the same permissions to a user
- Removing a user from a group
- Changing a user preference
#PropertyTesting Pattern: There and back again
Examples:
- Serializing and deserializing
- Toggling preferences / settings
- Writing and deleting an object from storage
- Adding and removing a fixed value from a Number
#PropertyTesting Pattern: Different paths, same destination
If order truly doesn't matter, you should confirm that. Notable examples:
- Adding items in a cart (esp w/ & w/o sales)
- Changing user permissions
- Adding data sources
To test...
If you're looking at putting #propertytesting into practice and drawing a blank once you open VSCode, this is the best article for direct help.
https://t.co/pT1HQyxwYE
I'll dive deeper into it over the week, expanding into services instead of just functions.
#testing
https://t.co/HYOcv9ssWX - FastCheck is #PropertyTesting in #TypeScript. Amazingly simple and powerful. Great project https://t.co/gQcVfu1jSO.
https://t.co/FQqW9ZUfOQ - a series on getting started with #PropertyTesting in #dotNET. Given a true condition (function) generate random values to validate it always is. Nice series https://t.co/jsxSMaM9GM.
If you’re interested in property testing for recursive types, our latest blog post delves into essential practical considerations when validating such structures. Check it out now 👉
#wecodit #FSharp #PropertyTesting #RecursiveTypes
https://t.co/E0rgj4Xbum
Hoy viernes, 7 plazas quedan para que @fede_fdz nos cuente por qué y cómo hacer property teting.
Si haces #kotlin guay, pero si no sabes que es #propertyTesting ya tardas también en apuntarte
#svqtech
Y ahora el enlace para apuntarse https://t.co/uoyVHCU9Af
Further applications include new lower bounds on #statesynthesis problems, #propertytesting protocols, as well as implications for #quantumcryptography.
today we have our #java #vienna meetup.. register now if you join us! https://t.co/VONkvIxS1m #propertyTesting #log4shell
#AlonBenEliezerRemovalLemmas-1.
[#Mathematics
#PropertyTesting
#TowsnerHypergraphRemovalLemma]
"Order 37, pp. 83–101(2020)
Efficient Removal Lemmas for #Matrices
Noga Alon
Omri Ben-Eliezer"
M.t. 'Effiziente Löschlemmata für #Matrizen'
"Parsec : Our experience with Hypothesis testing (and why do we love it so much !)" https://t.co/bOOzS8qhIi Izvor: @ParsecScille #python #propertytesting #unittest #swdev
Want to learn how to implement proper #propertytesting in #Haskell ?👩💻
👉Then this talk is for you!👨🏫
#functionalprogramming
https://t.co/GhhRiJM5DW
Issue #35: a special issue of Elm Bits about testing, part 2. https://t.co/qWiJkKDC1H
#fp #elmlang #fuzzing #fuzztesting #propertytesting #hypothesis #minithesis
Expecto v9.0.1 released! Thanks to @mnie8 and @yreynhout and Theodore Tsirpanis for your contributions to this version!
#fsharp #dotnet #opensource #testing #propertytesting #stresstesting #unittesting
Last Seen Hashtags on Sotwe
balancebce
Seen from Argentina
Incesto
Seen from United States
vegasfam
Seen from Brazil
ankaratraveſtileri
Seen from Turkey
คู่แท้มือใหม่
Seen from Thailand
SuperGhouls
Seen from Brazil
Saraha
Seen from Italy
นัดเย็ด304
Seen from Thailand
kalifornijskieświęta2
Seen from Brazil
momson()* filter:native_video
Seen from Oman
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.8M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers